Export CONFIG_ options via #version/kconfig