Add stub for linking int opcode to kernel interrupt handler