ARM: S5P6442: Bug fix on PWM Timer