mirage/mirage: PR #1502: 4.4 for main

@d421d16

Stages:

• 🟡 x86_64-debian-10-4.13
• 🟠 arm64-debian-10-4.13

History:

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