kernel: add isr function pointer type