Re: [SeaBIOS] SeaBIOS vs other BIOS?