Re: Pull request efi-2024-10-rc1-3