Is xilinx-zynqmp console.c specific to the aarch64/xilinx_zynqmp_lp64_cfc400x BSP?

The file bsps/aarch64/xilinx-zynqmp/console/console.c name would indicate it is the console driver for the ZynqMP BSP. Examination of the code shows it supports a the NS16550 UART which is not present in the hard IP of any Xilinx Ultrascale devices.

1. Why this name? Should the console driver file be named in a BSP specific way?
2. Why are we supporting PL (FPGA logic) drivers and configurations in our BSP drivers?

It can be convenient to have this support in RTEMS and if a board is publicly available there is a case however Xilinx ecosystem integration is complex and we need to be careful around PL resident functionality.