ARM: ux500: fix the smp_twd clock calculation