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
(there's a lot in this config that I don't think is needed)