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