[SeaBIOS] [PATCH 0/3] Run pvscsi driver entirely in 32bit mode.