Avik and I both tested a fix in Dave's linux-3-arm tree, arm/vexpressdt-rtsm+arm-virt-bl_cpufreq branch and can no longer reproduce this bug using that kernel.
Avik and I both tested a fix in Dave's linux-3-arm tree, arm/vexpressdt- rtsm+arm- virt-bl_ cpufreq branch and can no longer reproduce this bug using that kernel.