Re: [SeaBIOS] [ANNOUNCE] SeaBIOS 1.7.1