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

@543a720

Stages:

• 🟠 x86_64-debian-13-4.14 (running for 11d13h)
• 🟠 arm64-debian-13-4.14 (running for 11d13h)
• 🟠 x86_64-debian-13-5.4 (running for 11d13h)
• 🟠 arm64-debian-13-5.4 (running for 11d13h)

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)