Collaborating a bit more with the ARM PIC code
Modified the ARM PIC code (for delayed interrupt handling)