mirage/mirage: PR #1574: provide Mirage_runtime.register_arg, deprecate Mirage_runtime.register

@9cd192f

Stages:

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

History:

• 07/10/2024 09:45 ✔️ @3b25009 (6m44s)
• 07/10/2024 09:20 ✔️ @e1238f5 (12m23s)
• 07/10/2024 09:18 🟠 @9cd192f
• 07/10/2024 09:05 ❌ @052790f (7m26s)