doc: dump_cfg_defs.pl: support for docbook output