coreboot-kgpe-d16/src/mainboard/intel/kblrvp/board_info.txt