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>