coreboot-kgpe-d16/src/mainboard/system76/rpl/cmos.default