[SeaBIOS] Question on block driver operation buffer