xen: Fix build warning