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

[Kevin O'Connor]

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

-Kevin