TIL that setting GRUB_DEFAULT in Ubuntu without setting GRUB_DISABLE_SUBMENU=y does nothing, it'll use the latest kernel instead of the one you specify. Nice :S