mirage/mirage: PR #1607: Add support for the Unikraft backend targets

@56fcb97

Stages:

• 🟠 x86_64-debian-10-4.14
• 🟠 arm64-debian-10-4.14
• 🟠 x86_64-debian-10-5.2
• 🟠 arm64-debian-10-5.2

History:

• 02/07/2025 17:29 ❌ @35b6440 (2m49s)
• 02/07/2025 17:27 🟠 @56fcb97
• 02/07/2025 17:09 ❌ @ecb173a (8m47s)