lbmk/config/coreboot/x230edp_12mb/target.cfg