Comment 57 for bug 217815

If further testing reveals that disabling the tsc actually helps, I've prepared a kernel patch that will fix it for us:

     http://kernel.ubuntu.com/git?p=soren/ubuntu-hardy.git;a=commit;h=c472835957c7bce42c56aa2c57caa2e80a5bdb1a

Mind you, the code is completely untested (it's getting rather late here), but it looks plausible.