[efi] Synchronise EFI header files