miri: Use prebuilt Miri sysroots in Ferrocene toolchains#26

dcalavrezo-qorix merged 2 commits intomaineclipse-score/toolchains_rust:mainfrom

dcalavrezo_miri_drivereclipse-score/toolchains_rust:dcalavrezo_miri_driverCopy head branch name to clipboard