[efi] Allow use of EFI configuration tables