root/pypi: links for amaranth-boards