Fix Kconfig build for K8 boards.