boot/efi: Sync our TianoCore EDK II headers with the edk2-stable202002 tag.
commit730829f5159acd60b3662be4aae7467ed9cc1595
authorSascha Wildner <saw@online.de>
Wed, 25 Mar 2020 05:23:51 +0000 (25 06:23 +0100)
committerSascha Wildner <saw@online.de>
Wed, 25 Mar 2020 05:23:51 +0000 (25 06:23 +0100)
tree0cb92413f87dea3322c34c3d08e80939d50a5ff1
parented00e999ee667f2706e23b29be242a71910e868e
boot/efi: Sync our TianoCore EDK II headers with the edk2-stable202002 tag.

Nothing of relevance to us.
sys/contrib/edk2/Include/Base.h
sys/contrib/edk2/Include/IndustryStandard/Acpi10.h
sys/contrib/edk2/Include/IndustryStandard/Acpi20.h
sys/contrib/edk2/Include/IndustryStandard/Acpi30.h
sys/contrib/edk2/Include/IndustryStandard/Acpi40.h
sys/contrib/edk2/Include/IndustryStandard/Acpi50.h
sys/contrib/edk2/Include/IndustryStandard/Acpi51.h
sys/contrib/edk2/Include/IndustryStandard/Acpi60.h
sys/contrib/edk2/Include/X64/ProcessorBind.h