doc: Add board specific info to Sphinx TOC tree