Fixed an issue with detection of serial ports on Raspberry Pi