On 2015-10-10 18:49, Ben Hutchings wrote: > This looks rather like a hardware failure, as the instruction pointer > is pointing to the middle of an instruction. Here's the disassembly of > smp_apic_timer_interrupt:
Thanks for the diagnosis. Time to spend some money l-/ For future reference, is there a convenient way to get a disassembly corresponding to the kernel I have installed? ttfn/rjk