Re: [SeaBIOS] [PATCH v3] maininit(): print machine UUID under seabios version message