gnuboot/resources/coreboot/r500_4mb/board.cfg