If the tool has 64bit issues, we need to find and fix them. No papering over them.
[coreboot.git] / payloads / coreinfo / util /
drwxr-xr-x   ..
drwxr-xr-x - kconfig