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

@c83b56e

Stages:

• 🟡 x86_64-debian-13-4.14
• ✔️ arm64-debian-13-4.14 (2m46s)
• 🟡 x86_64-debian-13-5.3
• ✔️ arm64-debian-13-5.3 (3m48s)

History:

• 03/09/2025 10:26 🟡 @c83b56e (3m48s)
• 03/09/2025 10:13 🟡 @774c623 (4m04s)
• 02/07/2025 17:29 ✔️ @35b6440 (21m00s)
• 02/07/2025 17:27 🟠 @56fcb97
• 02/07/2025 17:09 ❌ @ecb173a (8m47s)