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