/config/coreboot/r500_4mb/