arm/arm-powerctl: rebuild hflags after setting CP15 bits in arm_set_cpu_on()