Asbjørn,can you please run the following tests and report the results ?1) Add "maxcpus=1" to the kernel command line2) Add "nomsi" to the kernel command lineThanks, tglx