[PATCH] drivers: xen: events: fix build issues with disabled Xen HVC