Thanks. It looks like I got this kernel version from the "linux-signed-oem" package: https://launchpad.net/ubuntu/bionic/+source/linux-signed-oem. I am not sure why my system is set up for that kernel package.
There is a new version in bionic-proposed, "linux-signed-oem 4.15.0-1035.40", which I tried and that seems to have fixed the problem.
Thanks. It looks like I got this kernel version from the "linux-signed-oem" package: https:/ /launchpad. net/ubuntu/ bionic/ +source/ linux-signed- oem. I am not sure why my system is set up for that kernel package.
There is a new version in bionic-proposed, "linux-signed-oem 4.15.0-1035.40", which I tried and that seems to have fixed the problem.