Merge tag 'pull-semi-20220628' of https://gitlab.com... # gpg: issuer "richard.henderson@linaro.org" ...signature from "Richard Henderson <richard.henderson@linaro.org>" [ultimate] ...off-by: Richard Henderson <richard.henderson@linaro.org>
Merge tag 'pull-tcg-20220621' of https://gitlab.com... # gpg: issuer "richard.henderson@linaro.org" ...signature from "Richard Henderson <richard.henderson@linaro.org>" [ultimate] ...off-by: Richard Henderson <richard.henderson@linaro.org>