hardware interrupts can be registered by writing a handler and registering it with the bsp now. the _ISR_Handler function works correctly now.
Circumvented POK_NEEDS_GETTICK, as I cannot figure out when it is defined and need the clocktick in the partition