On of our Debian-servers won't boot into the newest installed kernel, and during troubleshooting I came across this:
root@server:~# grep GRUB_DEFAULT /etc/default/grub
GRUB_DEFAULT="1>2"
I haven't seen this syntax before. Does anyone know what this means?