[Linaro-uefi] [RFC PATCH 4/5] Ovmf/Xen: fix pointer to int cast in XenBusDxe