Please pull u-boot-x86

[Bin Meng]

Hi Tom,

This PR includes the following x86 changes for v2020.07 release:

- Support 64-bit U-Boot as the payload for coreboot x86

The following changes since commit c693f212c5b0433b3a49a89d87cbff28bf78eb87:

  Merge branch '2020-05-01-master-imports' (2020-05-01 16:43:15 -0400)

are available in the git repository at:

  https://gitlab.denx.de/u-boot/custodians/u-boot-x86

for you to fetch changes up to 538437ed39e01b7ecfa79669982fe7db51fb2e1b:

  x86: Add a 64-bit 'coreboot64' build (2020-05-04 15:28:28 +0800)

----------------------------------------------------------------
Simon Glass (7):
      x86: Move coreboot-table detection to common 32/64-bit code
      x86: Allow building an SPL image for coreboot
      x86: Move work-around out of cpu_jump_to_64bit_uboot()
      x86: Update SPL for coreboot
      x86: coreboot: Allow building an SPL image
      cmd: Add an indication of 32/64-bit to bdinfo
      x86: Add a 64-bit 'coreboot64' build

 Makefile                             |  6 ++++++
 arch/x86/cpu/Makefile                |  4 +++-
 arch/x86/cpu/coreboot/Kconfig        |  1 +
 arch/x86/cpu/coreboot/Makefile       |  8 +++++++-
 arch/x86/cpu/coreboot/coreboot.c     |  3 ++-
 arch/x86/cpu/coreboot/coreboot_spl.c | 12 ++++++++++++
 arch/x86/cpu/cpu.c                   | 25 +++++++++++++++++++++++++
 arch/x86/cpu/i386/cpu.c              | 36 +-----------------------------------
 arch/x86/cpu/intel_common/Makefile   |  2 ++
 arch/x86/cpu/x86_64/cpu.c            |  2 ++
 arch/x86/dts/coreboot-u-boot.dtsi    | 18 ++++++++++++++++++
 arch/x86/lib/spl.c                   | 23 +++++++++++++++++++----
 board/coreboot/coreboot/MAINTAINERS  |  7 +++++++
 cmd/bdinfo.c                         | 20 ++++++++++++++++++++
 configs/coreboot64_defconfig         | 48
++++++++++++++++++++++++++++++++++++++++++++++++
 doc/board/coreboot/coreboot.rst      | 10 ++++++++++
 16 files changed, 183 insertions(+), 42 deletions(-)
 create mode 100644 arch/x86/cpu/coreboot/coreboot_spl.c
 create mode 100644 arch/x86/dts/coreboot-u-boot.dtsi
 create mode 100644 configs/coreboot64_defconfig

Regards,
Bin