On 11/01/18 08:15, Brian May via luv-main wrote:
> No problems since upgrading to the Linux kernel in the Debian > backports. 4.13.0. 4.14.0 seems fine also.
Good to know!  Thanks Brian.

Cheers,
        Andrew