Fix syntax errors in documentation:
Related change: https://review.trustedfirmware.org/#/c/trusted-firmware-m/+/1220/