the default kconfig should be in a config stanza, not in the default attr of the options stanza, otherwise it gets overridden completely instead of merged