On Thu, Apr 26, 2018 at 08:54:26AM +0200, Romain Perier wrote: > 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" ? I reaaly do apologise for no reply in all this time! I have been away without access to the machine. Hope to do tests again in the next week. ael