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 ?)