/config/module/coreboot/hp8470pintel_16mb/