Out of the Linux source tree packaging of the kconfig infrastructure