Simon Glass 538437ed39 x86: Add a 64-bit 'coreboot64' build %!s(int64=4) %!d(string=hai) anos
..
coreboot.rst 538437ed39 x86: Add a 64-bit 'coreboot64' build %!s(int64=4) %!d(string=hai) anos
index.rst a856e934ca doc: board: Add coreboot board doc %!s(int64=4) %!d(string=hai) anos