coreboot-kgpe-d16/src/mainboard/bachmann/ot200/cmos.default