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