Right, sorry for that!
The patch was brought in RH grub (g...@github.com:rhboot/grub2.git) by
pjones in 2017:
commit c925abf2462e30ac76cba760e727fb953daf1aeb
Author: Peter Jones
Date: Thu Jun 1 09:59:56 2017 -0400
Add grub_efi_allocate_pool() and grub_efi_free_pool() wrappers.
On Tue, Feb 15, 2022 at 02:05:21PM +0100, Renaud Métrich wrote:
> Signed-off-by: Renaud Métrich
> ---
> grub-core/commands/efi/lsefi.c | 4
> 1 file changed, 4 insertions(+)
>
> diff --git a/grub-core/commands/efi/lsefi.c b/grub-core/commands/efi/lsefi.c
> index d1ce99af4..b1f2d4695 100644
Signed-off-by: Renaud Métrich
---
grub-core/commands/efi/lsefi.c | 4
1 file changed, 4 insertions(+)
diff --git a/grub-core/commands/efi/lsefi.c b/grub-core/commands/efi/lsefi.c
index d1ce99af4..b1f2d4695 100644
--- a/grub-core/commands/efi/lsefi.c
+++ b/grub-core/commands/efi/lsefi.c
@@