On Mon, 2008-10-06 at 22:59 +0200, Andi Kleen wrote:> The real reason is actually a workaround in the BIOS for problems> in the older Linux code that caused duplicated timer interrupts.That really made me blink - so instead of fixing Linux they fudged theirBIOS?*utter amazement*