vtimer: renamed eINT to restoreIRQ
vtimer: added disableIRQ to vtimer_remove
cpu: cortexm-common: added UART0_BUFSIZE to cpu.h
board: arduino-due: switched to flashing

- now flashing using the programming port