Asbjørn,

can you please run the following tests and report the results ?

1) Add "maxcpus=1" to the kernel command line

2) Add "nomsi" to the kernel command line

Thanks,

	tglx