mirage/mirage: PR #1628: Dhcp ipv4 and leases

@4a1cc99

Stages:

• ❌ x86_64-debian-13-4.14 (6m02s)
• ❌ arm64-debian-13-4.14 (1m34s)
• ❌ x86_64-debian-13-5.3 (13m33s)
• ❌ arm64-debian-13-5.3 (7m37s)
• ❌ x86_64-debian-13-5.4 (15m49s)
• ❌ arm64-debian-13-5.4 (9m21s)

History:

• 05/12/2025 14:55 ❌ @4a1cc99 (15m49s)
• 05/12/2025 13:29 ❌ @4eead47 (5m50s)
• 05/12/2025 12:58 ❌ @9f663b4 (5m11s)
• 05/12/2025 11:46 ❌ @0a52633 (6m25s)
• 03/12/2025 10:23 ❌ @e17247e (9m06s)