mirage/mirage: PR #1502: 4.4 for main

@ef43321

Stages:

• 🟡 x86_64-debian-10-4.13
• ✔️ arm64-debian-10-4.13 (5m18s)

History:

• 05/03/2024 14:25 🟡 @ef43321 (5m18s)
• 05/03/2024 14:23 🟠 @308e127
• 05/03/2024 14:21 🟠 @d421d16