Fix get_efi_config_table using the wrong structs when booting a
64 bit kernel on 32 bit firmware.

Fixes: 82d736ac ("Abstract out support for locating an EFI config table")
Signed-off-by: NHans de Goede <hdegoede@redhat.com>
Acked-By: NMatthew Garrett <mjg59@google.com>
Reviewed-by: NArd Biesheuvel <ard.biesheuvel@linaro.org>
Acked-by: NJarkko Sakkinen <jarkko.sakkinen@linux.intel.com>
Signed-off-by: NArd Biesheuvel <ard.biesheuvel@linaro.org>