cpuhotplug_07 also fails on highbank (https://bugs.launchpad.net/linaro-power-qa/+bug/1230403) so this issue might be similar.
cpuhotplug_07 also fails on highbank (https:/ /bugs.launchpad .net/linaro- power-qa/ +bug/1230403) so this issue might be similar.