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

@b226d2a

Stages:

• ❌ x86_64-debian-10-4.13 (2m39s)
• ❌ arm64-debian-10-4.13 (2m39s)

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