On 2017-06-19 11:39, Michael Stapelberg wrote: > Could you supply a tested patch which accomplishes this please? I only > use the Debian kernel images. Thanks. yes -- i'll try to find a solution for this issue asap. i'll send you a patch.