/resources/coreboot/hp8470pintel_16mb/config/