Re: src.rpm for latest kernel in koji fails to build with weird errors about config mismatches