Re: Improvements to kernel deb-pkg target for continuous integration