refit.conf Phill Sparks included in Programming Snips 2008-03-12 14 words One minute My preferred settings for rEFIt. timeout 10 hidebadges internal hideui banner shell tools label