mirage/mirage: PR #1499: Fix `config.exe query` to use the same code path as code generation

@7fe7b77

Stages:

• 🟡 x86_64-debian-10-4.13
• ✔️ arm64-debian-10-4.13 (5m13s)

History:

• 05/03/2024 11:09 🟡 @7fe7b77 (5m13s)