core: added arch interface for reboot
cpu: sam3x8e added reboot interface implementation
board: arduino-due fixes to Makefile.include