Fix formatting in VCExpress64bitsetup.rst