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

[Kevin O'Connor]

On Tue, Dec 11, 2012 at 05:16:40PM +0100, Laszlo Ersek wrote:
> There are users who would like to see the UUID at startup, and it probably
> won't bother others.
> 
> Related RHBZ: 876250.

Out of curiosity, why do they want to see the UUID?

-Kevin