CA-137289: Fix XenCert for xs64bit.

Signed-off-by: Siddharth Vinothkumar <siddharth.vinothkumar@citrix.com>
Reviewed-by: Vineeth Raveendran <vineeth.thampi@citrix.com>

GitHub: closes #17 on xenserver/xencert