/config/coreboot/hp8200sff_4mb/config/