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

CONFIG_DEBUG_UART_PL01X (not configurable)

configname: CONFIG_DEBUG_UART_PL01X

Linux Kernel Configuration
└─> DEBUG_UART_PL01X