kernelconfig_penguin
CONFIG_DEBUG_VEXPRESS_UART0_CRX is not available for the default architecture 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)

This option selects UART0 at 0xb0090000. This is appropriate for
Cortex-R series tiles and SMMs, such as Cortex-R5 and Cortex-R7