Kconfig set default macro bug?