coreboot-kgpe-d16/src/mainboard/gigabyte/ga-g41m-es2l/cmos.default