Arduino due minor fixes

Some (very) minor fixes/enhancements for the Arduino Due port.