Have you noticed https://bugzilla.kernel.org/show_bug.cgi?id=197769 Bug 197769 - kernel panic IO-APIC + timer (AMD CPU) from 4.13 onwards seems very similiar to this debian-bug. In this context: > > > - Instead of not using IO-APIC completly, could you try to boot with > > > kernel parameter "no_timer_check" ? > > > "no_timer_check" does not help me on FSC Esprimo P5615 with kernel 4.15.
|