* shared/irq/irq_asm.S: Correct minor mistakes in adding Thumb code which prevented ARM from working.