fix compilation issues for pirq checker tool (trivial)
[coreboot.git] / src / cpu / via / Kconfig
1 source src/cpu/via/model_c7/Kconfig