1. 49d5ff4 x86: Fix the mystery of printch() during 64-bit boot by Bin Meng · 6 years ago
  2. 7e21fbc efi_loader: Rename sections to allow for implicit data by Alexander Graf · 7 years ago
  3. 83d290c SPDX: Convert all of our single license tags to Linux Kernel style by Tom Rini · 7 years ago
  4. dca9220 x86: Add 64-bit start-up code by Simon Glass · 8 years ago