machine_registration: try harder when listing all the available serial ports
PySerial's way of listing port needlessly restrict the serials ports to non-platform ones... which means some single board computers' embedded serial ports won't work.
Fix this by open-coding a simple way of listing ports, until upstream gets fixed and ships a new release.