Background Two weeks ago, I was on the kernel 4.13.0-36, and a routine update installed 4.13.0-37 and 4.13.0-38 automatically. After that, I was unsuccessful in getting my laptop to boot beyond the login screen (link to bug). I fixed (temporarily solved) it by removing -37, -38, and apt-mark ho...