Kernel switching will be allowed only between kernels defined here.
fakeroot_dpkg_deb_build
dpkg_deb_build