cbmk/config/coreboot/d510mo_16mb/target.cfg