Re: [SeaBIOS] [Xen-devel] GSoC Introduction: Add Xen PV block device support to SeaBIOS