Bug#1021525: Information complement

[Pierre Aussaguel]

I also noticed that the GRUB screen is not always of the same resolusion 
every boot. Sometimes it is very large (might be 640x480) other times of 
an average size, and sometimes of normal resolution (full hd ?)