X86J4105 & RS-232 serial devices

Hello Staff
Since there is still no schematic, please tell me where the serial devices ttyS5-ttyS7 are connected or who uses them.
I know ttyS4 is @ 40pin GPIO

Thanks && best regards.