efi: x86: ia64: provide a generic efi_config_init()