Review queue

Open pull requests that are marked ready for review and have green CI, oldest first. Ordered by when each one first became reviewable — a PR that drops out and comes back keeps its place.

# Repo Pull request Author Waiting
1 embassy #6930 boot: separate verification from swapping e-boot jordens 16d