mirage/mirage-skeleton: PR #407: defunctorised versions of unikernels

@0d0c5e5

Stages:

• ❌ x86_64-debian-10-4.14 (6m37s)
• ❌ arm64-debian-10-4.14 (2m49s)
• ❌ x86_64-debian-10-5.2 (5m39s)
• ❌ arm64-debian-10-5.2 (26m34s)

History:

• 04/03/2025 17:16 ❌ @39bccd3 (4s)
• 04/03/2025 15:20 ❌ @46078cc (16s)
• 04/03/2025 14:49 ❌ @4b345fc (32s)
• 04/03/2025 13:00 ❌ @364b12e (23m27s)
• 17/02/2025 14:50 ❌ @abc29bf (11m48s)
• 04/02/2025 15:25 ❌ @0d0c5e5 (58m39s)
• 21/01/2025 22:32 ❌ @708b8d5 (17m05s)