Applied fixes for ChibiOS Bugs 457 and 458.