ARM: S5PC1XX: Move to using standard timer IRQ handling code