Hi, David
For interrupt using, I can provide some guides based on my understanding:
1. Need to copy these interrupt vectors to 0x00000000 or 0xffffffff address, for i.MX28, the interrupt vectors should be on high address which is 0xffffffff, if you enable mmu, this address means virtual address;
2. As this address is occupied by ROM, so I think you may need to enable MMU, then map other physical address to be vector address;
3. Enable interrupt controller and module's interrupt.
To debug it, you can use JTAG to set break point at 0xffff0018 which is irq vector, then when there is an irq pending, PC will stop at here, you can debug it step by step. Maybe you also can refer to uboot's interrupt mode which should be more simple compared to kernel.