board: Initial import of the UDOO board

This PR is based on #1107. 

It is pretty much identical to the arduino-due board. The only difference is the flash-tool in dist, which is a patched version provided by the UDOO guys. But I figured for tidiness reasons it makes more sense to have a separate board for the UDOO.