x86-64 has quite different time code (at least until the dyntick patches
currently in mm)
Obvious thing would be to diff the boot messages and see if anything
jumps out (e.g. in interrupt routing).
Or check with mm and if x86-64 is broken there too then it's likely
the new time code.
-Andi
-