F17: grub2 not honoring default

[sean darcy]

On F17, grub2-2.0-0.39.fc17.x86_64

On a remote machine, I'm trying to boot 3.8.8-100, but I keep getting 
3.8.11-100. I set the default to 3, which given the 0 based counting, 
means the 4th stanza:

/etc/default/grub:

GRUB_TIMEOUT=5
GRUB_DISTRIBUTOR="Fedora"
GRUB_DEFAULT=3
GRUB_CMDLINE_LINUX="rd.md=0 rd.lvm=0 rd.dm=0 KEYTABLE=us 
SYSFONT=latarcyrheb-sun16 rd.luks=0 LANG=en_US.UTF-8"

Which is reflected in grub.cfg, but it still boots 3.8.11-100. I've also 
tried default "4". Still 3.8.11-100.

It's a remote machine, so I can't see the console.

sean

/boot/grub2/grub.cfg:

### BEGIN /etc/grub.d/00_header ###
if [ -s $prefix/grubenv ]; then
   load_env
fi
set default="3"

if [ x"${feature_menuentry_id}" = xy ]; then
   menuentry_id_option="--id"
else
   menuentry_id_option=""
fi

export menuentry_id_option

if [ "${prev_saved_entry}" ]; then
   set saved_entry="${prev_saved_entry}"
   save_env saved_entry
   set prev_saved_entry=
   save_env prev_saved_entry
   set boot_once=true
fi

function savedefault {
   if [ -z "${boot_once}" ]; then
     saved_entry="${chosen}"
     save_env saved_entry
   fi
}

function load_video {
   if [ x$feature_all_video_module = xy ]; then
     insmod all_video
   else
     insmod efi_gop
     insmod efi_uga
     insmod ieee1275_fb
     insmod vbe
     insmod vga
     insmod video_bochs
     insmod video_cirrus
   fi
}

if [ x$feature_default_font_path = xy ] ; then
    font=unicode
else
insmod part_msdos
insmod ext2
set root='hd0,msdos5'
if [ x$feature_platform_search_hint = xy ]; then
   search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos5 
--hint-efi=hd0,msdos5 --hint-baremetal=ahci0,msdos5 --hint='hd0,msdos5' 
  fff44737-3862-4f57-8931-fee302065237
else
   search --no-floppy --fs-uuid --set=root 
fff44737-3862-4f57-8931-fee302065237
fi
     font="/usr/share/grub/unicode.pf2"
fi

if loadfont $font ; then
   set gfxmode=auto
   load_video
   insmod gfxterm
   set locale_dir=$prefix/locale
   set lang=en_US
   insmod gettext
fi
terminal_output gfxterm
set timeout=5
### END /etc/grub.d/00_header ###

### BEGIN /etc/grub.d/10_linux ###
menuentry 'Fedora' --class fedora --class gnu-linux --class gnu --class 
os $menuentry_id_option 
'gnulinux-simple-fff44737-3862-4f57-8931-fee302065237' {
	load_video
	set gfxpayload=keep
	insmod gzio
	insmod part_msdos
	insmod ext2
	set root='hd0,msdos3'
	if [ x$feature_platform_search_hint = xy ]; then
	  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos3 
--hint-efi=hd0,msdos3 --hint-baremetal=ahci0,msdos3 --hint='hd0,msdos3' 
  d7937ba8-8976-40b7-9b4b-afec232d7369
	else
	  search --no-floppy --fs-uuid --set=root 
d7937ba8-8976-40b7-9b4b-afec232d7369
	fi
	echo	'Loading Linux 3.8.11-100.fc17.x86_64 ...'
	linux	/vmlinuz-3.8.11-100.fc17.x86_64 
root=UUID=fff44737-3862-4f57-8931-fee302065237 ro rd.md=0 rd.lvm=0 
rd.dm=0 KEYTABLE=us SYSFONT=latarcyrheb-sun16 rd.luks=0 LANG=en_US.UTF-8
	echo	'Loading initial ramdisk ...'
	initrd	/initramfs-3.8.11-100.fc17.x86_64.img
}
submenu 'Advanced options for Fedora' $menuentry_id_option 
'gnulinux-advanced-fff44737-3862-4f57-8931-fee302065237' {
	menuentry 'Fedora, with Linux 3.8.11-100.fc17.x86_64' --class fedora 
--class gnu-linux --class gnu --class os $menuentry_id_option 
'gnulinux-3.8.11-100.fc17.x86_64-advanced-fff44737-3862-4f57-8931-fee302065237' 
{
		load_video
		set gfxpayload=keep
		insmod gzio
		insmod part_msdos
		insmod ext2
		set root='hd0,msdos3'
		if [ x$feature_platform_search_hint = xy ]; then
		  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos3 
--hint-efi=hd0,msdos3 --hint-baremetal=ahci0,msdos3 --hint='hd0,msdos3' 
  d7937ba8-8976-40b7-9b4b-afec232d7369
		else
		  search --no-floppy --fs-uuid --set=root 
d7937ba8-8976-40b7-9b4b-afec232d7369
		fi
		echo	'Loading Linux 3.8.11-100.fc17.x86_64 ...'
		linux	/vmlinuz-3.8.11-100.fc17.x86_64 
root=UUID=fff44737-3862-4f57-8931-fee302065237 ro rd.md=0 rd.lvm=0 
rd.dm=0 KEYTABLE=us SYSFONT=latarcyrheb-sun16 rd.luks=0 LANG=en_US.UTF-8
		echo	'Loading initial ramdisk ...'
		initrd	/initramfs-3.8.11-100.fc17.x86_64.img
	}
	menuentry 'Fedora, with Linux 3.8.11-100.fc17.x86_64 (recovery mode)' 
--class fedora --class gnu-linux --class gnu --class os 
$menuentry_id_option 
'gnulinux-3.8.11-100.fc17.x86_64-recovery-fff44737-3862-4f57-8931-fee302065237' 
{
		load_video
		set gfxpayload=keep
		insmod gzio
		insmod part_msdos
		insmod ext2
		set root='hd0,msdos3'
		if [ x$feature_platform_search_hint = xy ]; then
		  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos3 
--hint-efi=hd0,msdos3 --hint-baremetal=ahci0,msdos3 --hint='hd0,msdos3' 
  d7937ba8-8976-40b7-9b4b-afec232d7369
		else
		  search --no-floppy --fs-uuid --set=root 
d7937ba8-8976-40b7-9b4b-afec232d7369
		fi
		echo	'Loading Linux 3.8.11-100.fc17.x86_64 ...'
		linux	/vmlinuz-3.8.11-100.fc17.x86_64 
root=UUID=fff44737-3862-4f57-8931-fee302065237 ro single rd.md=0 
rd.lvm=0 rd.dm=0 KEYTABLE=us SYSFONT=latarcyrheb-sun16 rd.luks=0 
LANG=en_US.UTF-8
		echo	'Loading initial ramdisk ...'
		initrd	/initramfs-3.8.11-100.fc17.x86_64.img
	}
	menuentry 'Fedora, with Linux 3.8.8-100.fc17.x86_64' --class fedora 
--class gnu-linux --class gnu --class os $menuentry_id_option 
'gnulinux-3.8.8-100.fc17.x86_64-advanced-fff44737-3862-4f57-8931-fee302065237' 
{
		load_video
		set gfxpayload=keep
		insmod gzio
		insmod part_msdos
		insmod ext2
		set root='hd0,msdos3'
		if [ x$feature_platform_search_hint = xy ]; then
		  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos3 
--hint-efi=hd0,msdos3 --hint-baremetal=ahci0,msdos3 --hint='hd0,msdos3' 
  d7937ba8-8976-40b7-9b4b-afec232d7369
		else
		  search --no-floppy --fs-uuid --set=root 
d7937ba8-8976-40b7-9b4b-afec232d7369
		fi
		echo	'Loading Linux 3.8.8-100.fc17.x86_64 ...'
		linux	/vmlinuz-3.8.8-100.fc17.x86_64 
root=UUID=fff44737-3862-4f57-8931-fee302065237 ro rd.md=0 rd.lvm=0 
rd.dm=0 KEYTABLE=us SYSFONT=latarcyrheb-sun16 rd.luks=0 LANG=en_US.UTF-8
		echo	'Loading initial ramdisk ...'
		initrd	/initramfs-3.8.8-100.fc17.x86_64.img
	}