coreboot-kgpe-d16/src/mainboard/msi/ms9282/board_info.txt