CA-137289: Fix XenCert for xs64bit.

Signed-off-by: Siddharth Vinothkumar <siddharth.vinothkumar@citrix.com>