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