kernelconfig_penguin
CONFIG_DEBUG_VEXPRESS_UART0_CA9 is not available for the default architecture x86.
Result is shown for architecture arm

Use PL011 UART0 at 0x10009000 (V2P-CA9 core tile)

configname: CONFIG_DEBUG_VEXPRESS_UART0_CA9

Kernel low-level debugging port
└─> Use PL011 UART0 at 0x10009000 (V2P-CA9 core tile)

This option selects UART0 at 0x10009000. Except for custom models,
this applies only to the V2P-CA9 tile.