mirage/mirage: PR #1525: add the options to specify "host" (and "socket") for the host system network stack

@ed3b4c4

Stages:

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

History:

• 26/04/2024 15:39 🟠 @ed3b4c4
• 26/04/2024 15:22 ✔️ @2d50081 (11m02s)