Arduino Due patch for Chibios-RT OS