On Tue, 31 May 2016 16:14:58 -0400
Haines Brown <haines@???> wrote:

> How (simply) do you tell GRUB to boot an earlier available kernel?


If you want to leave the problematic kernel installed, you can make
grub2 default to another boot entry by adding/editing the line

GRUB_DEFAULT=0

to /etc/default/grub and then running "update-grub".

Florian