Bugfix: Keyboard and RTC were mapped to the wrong IRQ.