Yes. I'll fix it.

In addition, I notice that driver_xen_setup() doesn't either initialize Xen event relevant variables to NULL when the feature is disabled. May I fix it after this PR?