Merge pull request #25414 from zx2c4-forks/krngseed
authorLuca Boccassi <bluca@debian.org>
Thu, 17 Nov 2022 18:49:40 +0000 (19:49 +0100)
committerGitHub <noreply@github.com>
Thu, 17 Nov 2022 18:49:40 +0000 (19:49 +0100)
EFI random seed post #25319 review fixups


Trivial merge