Interrupts were not working because irq numbers where not
assinged correctly.
Also, the irq handlers where not visible to miosix, being
hidden by the namespace Boardcore.