mirage/mirage: PR #1622: Refactor right_tcpip_library

@4f64c8c

Stages:

• ✔️ x86_64-debian-13-4.14 (4m11s)
• ✔️ arm64-debian-13-4.14 (3m39s)
• ✔️ x86_64-debian-13-5.3 (4m24s)
• ✔️ arm64-debian-13-5.3 (5m05s)
• ❌ x86_64-debian-13-5.4 (5m14s)
• ❌ arm64-debian-13-5.4 (6m37s)

History:

• 20/11/2025 14:17 ❌ @4f64c8c (6m37s)