CONFIG_DEBUG_VEXPRESS_UART0_CRX is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
Use PL011 UART0 at 0xb0090000 (Cortex-R compliant tiles)
configname: CONFIG_DEBUG_VEXPRESS_UART0_CRX
Kernel low-level debugging port
└─>Use PL011 UART0 at 0xb0090000 (Cortex-R compliant tiles)
In linux kernel since version 3.11 (release Date: 2013-09-02)
This option selects UART0 at 0xb0090000. This is appropriate for
Cortex-R series tiles and SMMs, such as Cortex-R5 and Cortex-R7
Cortex-R series tiles and SMMs, such as Cortex-R5 and Cortex-R7