Bug#883294:

[Romain Perier]

Hello,

Could you :

- Retry with linux-image 4.15, that is the current kernel in buster/sid
- Instead of not using IO-APIC completly, could you try to boot with
kernel parameter "no_timer_check" ?

Does it help ?

Thanks,
Romain