:: commit 57249f8d67f2bba18fe5643f4de4ce5e9b0a3f93

diff --git a/common/lib/rng_seed.c b/common/lib/rng_seed.c
index 8c67e20c..3c22ead4 100644
--- a/common/lib/rng_seed.c
+++ b/common/lib/rng_seed.c
@@ -151,6 +151,7 @@ void rng_seed_install(void) {
             p[i] = 0;
         }
         asm volatile ("" ::: "memory");
+        // Assumes the prior publisher used AllocatePool.
         gBS->FreePool(prev_seed);
     }