{ ... }: { coreboot.corebootConfig = { CONFIG_VENDOR_LENOVO = "y"; CONFIG_BOARD_LENOVO_X220 = "y"; }; }