Arduino due minor fixes

Some (very) minor fixes/enhancements for the Arduino Due port.
Indeed, changing now.