mirage/mirage: PR #1343: Update erratique.ch references

@cc71bab

25/08/2022 12:24

Link to Github

Stages:

✔️ x86_64-debian-10-4.13 (16m43s)
✔️ arm64-debian-10-4.13 (5m34s)

History:

25/08/2022 12:24 ✔️ @cc71bab (1h35m)