mirage/mirage: PR #1644: Avoid RSS memory leaks: call malloc_trim

@962d608

Stages:

• ❌ x86_64-debian-13-4.14 (10m16s)
• ✔️ arm64-debian-13-4.14 (4m22s)
• ❌ x86_64-debian-13-5.4 (7m15s)
• ❌ arm64-debian-13-5.4 (5m45s)

History:

• 10/07/2026 08:11 ✔️ @616eaaf (10m10s)
• 09/07/2026 21:36 ❌ @74f99f7 (4m34s)
• 09/07/2026 21:33 ❌ @3968f56 (running for 11d13h)
• 09/07/2026 21:31 ❌ @9c4d965 (running for 11d13h)
• 09/07/2026 21:30 🟠 @543a720 (running for 11d13h)
• 09/07/2026 21:23 ❌ @fc773e8 (5m24s)
• 07/07/2026 07:31 ❌ @962d608 (11m01s)