board.js updated to allow Raspberry Pi 'Arduino board' serial ports to b...

...e found