3 CONFIG_DEFAULT_DEVICE_TREE="efi"
5 CONFIG_TSC_CALIBRATION_BYPASS=y
6 # CONFIG_NS16550_SERIAL is not set
7 # CONFIG_CMD_BOOTM is not set
9 # CONFIG_CMD_NET is not set
14 CONFIG_DEBUG_EFI_CONSOLE=y
15 CONFIG_DEBUG_UART_BASE=0
16 CONFIG_DEBUG_UART_CLOCK=0