gnuboot/resources/coreboot/t500_8mb
..
config
board.cfg