Eu tenho o mesmo problema com o kernel mais recente disponível: 4.13.0-36. Então eu voltei a usar o kernel mais recente que funciona sem nenhum problema: 4.11.0-14
$ aptitude search 4.11.0-14 | grep ^i
i A linux-headers-4.11.0-14 - Header files related to Linux kernel versi
i linux-headers-4.11.0-14-generic - Linux kernel headers for version 4.11.0 on
iBA linux-hwe-edge-tools-4.11.0-14 - Linux kernel version specific tools for ve
i linux-image-4.11.0-14-generic - Linux kernel image for version 4.11.0 on 6
i linux-image-extra-4.11.0-14-gen - Linux kernel extra modules for version 4.1
i linux-signed-image-4.11.0-14-ge - Signed kernel image generic
i linux-tools-4.11.0-14-generic - Linux kernel version specific tools for ve
Eu deixo o kernel ser o mais recente, de modo que continuo a ter upgrades, e sempre que eu inicializo o sistema, eu seleciono a versão 4.11.0-14, entrando no menu grub.
De vez em quando, quando há atualizações em novas versões do kernel, testo se isso foi corrigido. Nenhum sucesso até agora.