Re: [PATCH] efi: tpm: Avoid READ_ONCE() for accessing the event log