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.
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=c472835957c7b ce42c56aa2c57ca a2e80a5bdb1a
Mind you, the code is completely untested (it's getting rather late here), but it looks plausible.