efi_loader: Fix efi_install_configuration_table