[OpenBIOS] [PATCH 3/3] use the proper name for the virtio-blk devices