Ensure that config options hidden by r6054 have defaults, and fix MALLOCDBG()
[coreboot.git] / payloads / external /
drwxr-xr-x   ..
drwxr-xr-x - tint