Hi, the update indeed fixes the issue. Thanks!
Cheers, Stefan On 04/30/2017 01:36 PM, Debian Bug Tracking System wrote: > This is an automatic notification regarding your Bug report > which was filed against the src:linux package: > > #861313: kernel BUG with kvm > > It has been closed by Ben Hutchings <b...@decadent.org.uk>.