Re: [SeaBIOS] Ideas for PV on SeaBIOS