kconfig: do not allow more than one symbol to have 'option modules'