workaround for apparently broken BlockDeviceMapping API