[PATCH 4.19 063/350] xen: use correct end address of kernel for conflict checking