ARM: ux500: fix prcmu_is_cpu_in_wfi() calculation