Broken links in L4Re documentation