Re: [SeaBIOS] bug: incorrect uuid in seabios output