By adding an extra config layer for CMSIS drivers, the stdio UART device could be used platform specifically with the required security domain for TFM core and Non-Secure application separately.
This way the platform independent TFM core UART could be completely platform agnostic, using a generic CMSIS UART device.