1) Fix the EFI to pass the TPM event log memory as reserved. 2) Workaround it in libstub, and considering the TPM event log memory range when populating the e820 table. (As proposed in https://lore.kernel.org/all/2542182d-aa79-4705-91b6-fa593bacffa6@xxxxxxxxx/) 3) Workaround in later in the kernel, as proposed in https://lore.kernel.org/all/20240911104109.1831501-1-usamaarif642@xxxxxxxxx/ Please let me know if my understanding is flawed here. Thank you! --breno