Thank you for this tip. I also had this same problem where UARTS seemed enabled in the bios yet, /dev/ttyS4 and /dev/ttyS5 were both still...
Separate names with a comma.