Hard fix for Kconfig var not being picked up