1. f92b3d7 x86: Fix the mystery of printch() during 64-bit boot by Bin Meng · Sat Oct 13 20:52:09 2018 -0700
  2. 94a10f2 efi_loader: Rename sections to allow for implicit data by Alexander Graf · Tue Jun 12 07:48:37 2018 +0200
  3. 10e4779 SPDX: Convert all of our single license tags to Linux Kernel style by Tom Rini · Sun May 06 17:58:06 2018 -0400
  4. 8157b33 x86: Add 64-bit start-up code by Simon Glass · Mon Jan 16 07:03:48 2017 -0700