Re: Build of kernel with `make binrpm-pkg` fails