root/pypi: links for tigrbl-kernel