XenStore: Support for devices without virtual-device property