void desktop_serial_select_setup(fd_set *fds, int *fd_high);