Re: [SeaBIOS] Does SeaBIOS uses the BIOS interfaces itself?