docs: restore archived boards

Archived boards are no longer supported but are cross-referenced from the docs.git repository, and therefore must be present in the index to link correctly.

Signed-off-by: Zygmunt Krynicki zygmunt.krynicki@huawei.com