mirage/mirage-skeleton: PR #421: update restrictions to mirage 4.11

@dfaaa73

Stages:

• ✔️ x86_64-debian-13-4.14 (7m32s)
• ✔️ arm64-debian-13-4.14 (2m47s)
• ❌ x86_64-debian-13-5.3 (7m41s)
• ❌ arm64-debian-13-5.3 (3m58s)
• ❌ x86_64-debian-13-5.4 (5m34s)
• ❌ arm64-debian-13-5.4 (4m12s)

History:

• 08/05/2026 11:52 ❌ @dfaaa73 (7m41s)