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