lbmk/config/coreboot/d945gclf_512kb/target.cfg