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

[Gerd Hoffmann]

>> 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.
> 
> How can I distinguish "unset" from "set to all zeros"?

"set to all zeros" equals "unset", no?
I doubt all zeros is a valid uuid in the first place ...

cheers,
  Gerd