adding to 14.04 GRUB_RECORDFAIL_TIMEOUT