would a Kconfig directive "select CONFIG_x" even work?