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