coreboot-kgpe-d16/configs/config.lenovo_x220_mrc_bin