On Tue, 17 Jul 2018 11:11:37 +0200 =?utf-8?Q?Michael_La=C3=9F?= <bevan@bi-co.net> wrote: > I can confirm that applying 1adc34adc3447c34926994b87db5d929f5ab45b5 on top of > Debian’s 4.9.110-1 kernel solves the issue here on a Xen PV guest. >