Problems with dual-core

[Erno Kuusela <erno@iki.fi>]

Hello,

Yesterday I had a go at getting sarge running on my dual-core amd64 system.
The UP install kernel worked, but the smp kernel didn't fare so well-
log at <http://erno.iki.fi/tmp/sarge-amd64-oops>.

The kernel from unstable works a bit better, but is missing the fix
for the tsc bug (<http://bugzilla.kernel.org/show_bug.cgi?id=5105>) so
the clock can't keep time... unfortunately the boot option workarounds
mentioned in above bug don't work for me.

Should I report these via the debian BTS?

It would be nice if the stable kernel got fixed at some point too,
to get security updates etc.

  -- erno