CONFIG_USE_OPTION_TABLE=y # CONFIG_COLLECT_TIMESTAMPS is not set CONFIG_VENDOR_ASUS=y CONFIG_UART_FOR_CONSOLE=1 CONFIG_BOARD_ASUS_KGPE_D16=y CONFIG_DRIVERS_PS2_KEYBOARD=y CONFIG_COREBOOT_ROMSIZE_KB_16384=y CONFIG_SOUTHBRIDGE_AMD_SB700_33MHZ_SPI=y # CONFIG_DRIVERS_INTEL_WIFI is not set CONFIG_MEASURED_BOOT=y CONFIG_USER_TPM1=y CONFIG_TPM_RDRESP_NEED_DELAY=y CONFIG_DEFAULT_CONSOLE_LOGLEVEL_8=y CONFIG_PAYLOAD_LINUX=y CONFIG_PAYLOAD_FILE="../../build/kgpe-d16_workstation-usb_keyboard/bzImage" CONFIG_LINUX_COMMAND_LINE="nohz=on console=tty0 earlyprintk=tty0" CONFIG_LINUX_INITRD="../../build/kgpe-d16_workstation-usb_keyboard/initrd.cpio.xz" CONFIG_CPU_MICROCODE_CBFS_NONE=y