x86: Add a 64-bit 'coreboot64' build
[oweals/u-boot.git] / board / coreboot /
drwxr-xr-x   ..
-rw-r--r-- 601 Kconfig
drwxr-xr-x - coreboot