CP-9420: Correct documentation for xs64bit.

Signed-off-by: Siddharth Vinothkumar <siddharth.vinothkumar@citrix.com>
Acked-by: Germano Percossi <germano.percossi@citrix.com>

GitHub: closes #22 on xenserver/xencert