[SeaBIOS] SeaBIOS and Bochs?