[SeaBIOS] Question on virtual block device