lbmk/config/coreboot/t440pmrc_12mb/target.cfg