Arduino Due patch for Chibios-RT