Comment 95 for bug 736743

Is anyone can explain why /etc/grub.d/00_header generate /boot/grub/grub.cfg like this by default for btrfs partitions? I have at least one laptop where it cause GRUB2 menu appear on every boot with 30 seconds counter:

function recordfail {
  set recordfail=1
  # GRUB lacks write support for btrfs, so recordfail support is disabled.
}
...
if [ "${recordfail}" = 1 ] ; then
  set timeout=30

Of course, there is several workarounds for this issue, but why 00_header was written like this in first place?