Ok, this doesn't make any sense at all.
Your original report says the last thing you saw before the oops was
"CPU serial number disabled."
The code which prints that should run way later than x86_serial_nr_setup
I'll go stare at the code a bit, and see if something jumps out.
-- | Dave Jones. http://www.codemonkey.org.uk | SuSE Labs - To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/