Arduino due minor fixes

Some (very) minor fixes/enhancements for the Arduino Due port.
this I do not like at all - this should not be part of the low level driver!