ARM: rockchip: rk3288: Switch to use the proper PWM IP