Re: [SeaBIOS] Seabios: misc. fixes