Bug#497085: allow making no timeout

[jidanni at jidanni.org]

FZ> please send patches upstream to grub-devel at gnu.org as I already told you.
I thought I was changing a the Debian part, not the upstream part.
FZ> If people want to have a timeout of 0 then they just can set it
FZ> at /etc/default/grub
But no timeout is different that a timeout of 0, isn't it?
Does timeout=0 almost the same as timeout=9999999... or timeout=0.000001?
Who knows, it is all not documented at all.
FZ> So why bother to change the default of 5?
FZ> People can change it if they want and I think 5 seconds are a good
FZ> choice as the default value.
I'm not saying change any defaults at all.