Re: [kata-dev] kernel build configuration, was: Re: not-so-common dynamic (not build) kernel configurations: examples and summary