Bug#420708: kernel-patch-openvz: Kernel with applied patch sometimes reports kernel bug at drivers/cpufreq/cpufreq_userspace.c:138

[Alexey Dobriyan]

On Wed, Apr 25, 2007 at 11:31:57AM +0100, João Sousa wrote:
> Brought up 2 CPUs
            ^^^
Ahh, OK. I bet that
b) you have CONFIG_SCHED_VCPU=y in config
a) booting with maxcpus=1 will never get you oops.

Patch for testing will be as soon as I extract the very same kernel as
Debian's.