Have you noticed https://bugzilla.kernel.org/show_bug.cgi?id=197769 *Bug 197769* <https://bugzilla.kernel.org/show_bug.cgi?id=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.