Increase grub timeout

[Matthew Garrett]

On Tue, May 18, 2010 at 10:25:21PM +0100, Matthew Garrett wrote:

> We have this for SaveDefault. It ought to be possible to extend it and 
> then provide an application that resets the flag at the end of boot.

So something like this (entirely untested) patch - it sets a flag to 1 
on boot, and then at the end of a successful boot a grub script would 
need to be run to reset the flag to 0.

-- 
Matthew Garrett | mjg59 at srcf.ucam.org