When the Zynq PS UART1 and AXI UART-16550 are added to the same Zynq design, the Linux Kernel boot stops at the "Starting kernel..." stage in the boot console.
What is the root cause this?
In this scenario, the kernel boot does not actually stop.
Instead, the default boot console changes from the Zynq PS7 UART to the AXI UART-16550 console and the messages are displayed in it instead.
To resolve this issue, disable the "device_type" device tree parameter by adding the following entries in the system-top.dts file.