envydis: Undocument deprecated ISA selection.
envydis: Use new ISA names in documentation.
envydis/falcon: Remove stray documentation comment redundant with hwdocs.
rnndb: fµc -> falcon