Comment 36 for bug 126369

A possible better workaround is to use "noapic". It sucks a lot less and seem to have cured it for me so far.

Still not an optimal solution though, the root cause need to be tracked down, though it may well be a BIOS bug
providing incorrect routing tables.

Can you guys try that and see if it helps ?