ChibiOS patches / hacks