Kenton Varda Sat, 11 Jul 2015 15:00:43 -0700
After a system update and reboot, the problem went away, even though I'm still on the same linux-image package. So maybe the problem wasn't in the kernel, but I have no idea what else it might have been.
