boot/efi: Sync our TianoCore EDK II headers with the UDK2018 branch.