lbmk/config/coreboot/e6420_10mb/target.cfg