[SeaBIOS] Does SeaBIOS uses the BIOS interfaces itself?