Bug#903767: 1adc34adc3447c34926994b87db5d929f5ab45b5 confirmed to fix the issue

[tmc]

On Tue, 17 Jul 2018 11:11:37 +0200 =?utf-8?Q?Michael_La=C3=9F?= 
<be...@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.
>