Re: [PATCH] efi_loader: Check for pointers before appending to the eventlog