/config/coreboot/hp8460pintel_8mb/

• ../
• config
• target.cfg