3 CONFIG_DEFAULT_DEVICE_TREE="efi"
5 CONFIG_TSC_CALIBRATION_BYPASS=y
6 # CONFIG_CMD_BOOTM is not set
8 # CONFIG_CMD_NET is not set
13 CONFIG_DEBUG_EFI_CONSOLE=y
14 CONFIG_DEBUG_UART_BASE=0
15 CONFIG_DEBUG_UART_CLOCK=0
16 # CONFIG_X86_SERIAL is not set