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

[Kevin O'Connor]

On Wed, Dec 12, 2012 at 05:37:22PM +0100, Laszlo Ersek wrote:
> On 12/12/12 01:36, Kevin O'Connor wrote:
> > 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?
> 
> I've received permission from our customer to respond with their words
> verbatim:
> 
> > What are the business requirements:

Okay.  One thing I'd request is to not complicate bootsplash.c or
output.c with this.  Instead, how about implementing the code in a
function (eg, display_uuid() ) in smbios.c, have it do all the
detection/formatting/printf, and call it from post.c.

-Kevin