Initial support for Netduino

This also fixes up the IRQ for the PYBOARD4 USERSW
although I was unable to test that functionality.

I've tested the following:
- repl on USB Serial works
- USB Mass Storage seems to work
- both LEDs work
- USERSW works
- 5V on arduino header is enabled