Simon Glass 538437ed39 x86: Add a 64-bit 'coreboot64' build %!s(int64=4) %!d(string=hai) anos
..
coreboot 538437ed39 x86: Add a 64-bit 'coreboot64' build %!s(int64=4) %!d(string=hai) anos
Kconfig 83d290c56f SPDX: Convert all of our single license tags to Linux Kernel style %!s(int64=6) %!d(string=hai) anos