{ ... }:

{
  CONFIG_VENDOR_LENOVO = "y";
  CONFIG_BOARD_LENOVO_X230 = "y";
}