Re: [SeaBIOS] [PATCH] pvscsi boot support