[SeaBIOS] bug: incorrect uuid in seabios output