fix GRUB_RECORDFAIL_TIMEOUT