A compilation test with clang -Weverything reported this problem: config-host.h:112:20: warning: '$' in identifier [-Wdollar-in-identifier-extension]
The line of code looks like this: #define CONFIG_TPM $(CONFIG_SOFTMMU) This is fine for Makefile code, but won't work as expected in C code.