[SeaBIOS] [PATCH] enable_vga_console(): print machine UUID under seabios version message

[Gerd Hoffmann]

On 12/11/12 05:54, Kevin O'Connor wrote:
> On Mon, Dec 10, 2012 at 06:11:08PM +0100, Laszlo Ersek wrote:
>> There are users who would like to see the UUID at startup, and it probably
>> won't bother others.
> 
> The patch isn't going to work for non-qemu users (eg, coreboot).

Also even with qemu the uuid might not be set (just start qemu without
-uuid $something), that case needs to be handled too.  Easiest is
probably to just not print it when not preset.

cheers,
  Gerd