Include this new section in the "full for documentation" (`realfull`) configuration, so that these options are documented in the official documentation build (`scripts/apidoc_full.sh`). Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>