core: Fix for ChibiOS update #411
Imprint / Impressum