Outboarding of tenma

Perform the outboarding of tenma according to https://intranet.softwareheritage.org/wiki/Outboarding

---

Migrated from T3254 (view on Phabricator)