Sorry, I need to proofread more carefully. It's kernel 4.7rc6. The complete line from the grub menu is: Ubuntu, with Linux 4.7.0-0407004c6-generic I've installed 4.4.13, and it, too, seems to be working normally. On Thu, Jul 7, 2016 at 6:14 PM, Christopher M. Penalver <