mirage/mirage: PR #1579: Defunctorise TIME, PCLOCK, MCLOCK, RANDOM -- allow defaults to be passed to Mirage.register

@65eae9e

Stages:

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

History:

• 09/10/2024 18:32 ❌ @073278a (19m05s)
• 09/10/2024 18:22 ❌ @b226d2a (6m03s)
• 09/10/2024 18:16 ❌ @66a593c (2m40s)
• 09/10/2024 18:15 🟠 @65eae9e