GRUB_SAVEDEFAULT and grub-reboot with GRUB_DEFAULT=saved do not work if grubenv file resides on an LVM partition or a RAID device, since those cannot be written to. This patch adds a note regarding this issue into the manual.
This is my first patch submission, so please let me know if I messed something up. Thanks!