Comment 23 for bug 795717

Thanks Stefan,

I have confirmed that the following kernels work.

linux-image-2.6.38-11-server_2.6.38-11.48+lp795717v1_amd64.deb
linux-image-2.6.38-11-generic_2.6.38-11.48+lp795717v1_amd64.deb

They were installed on three machines

Dell PowerEdge R710 with 96GB ram and 2 * Xeon X5680
Dell PowerEdge 2950 with 32GB ram and 2 * Xeon E5420
Dell OptiPlex 960 with 8GB ram and 1 * Core2 Duo E8400

I can install and boot the following operating systems, all with 8 vcpus.

Ubuntu 8.04 server i386 (current_clocksource was tsc)
Ubuntu 10.10 desktop i386
RHEL 5.4 i386
RHEL 5.5 i386 (boot existing image only)
Centos 5.5 i386
Centos 5.5 amd64
Centos 5.6 i386 LiveCD (no install)

I also had no issues booting 64bit windows 7 guests with two vcpus.

Thanks,

Greg