Adding Linux here, as it seems like the serial ports disappears in the logs in the referred Debian bug report.
Adding Linux here, as it seems like the serial ports disappears in the logs in the referred Debian bug report.