UART7 debug?

Hello,

since custom carrier board will be used in combination with Orange Cube autopilot, I have a question regarding Serial port mapping table:
image

So, ADS-B receiver will be used with a custom carrier board, what means that UART7 is available from this point of view. Can be used as debug port or as a any other UART port - for a communication with other device?

Many thanks,
Dejan.