ARM: rockchip: fix rk3288 smp and timer support