CONFIG_DEBUG_HI3716_UART is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
Hisilicon Hi3716 Debug UART
configname: CONFIG_DEBUG_HI3716_UART
Kernel low-level debugging port
└─>Hisilicon Hi3716 Debug UART
In linux kernel since version 3.12 (release Date: 2013-11-03)
Say Y here if you want kernel low-level debugging support
on HI3716 UART.
on HI3716 UART.