/config/module/coreboot/hp8460pintel_8mb/