I may confirm that if I use dpkg to install the very same kernel package outside of the chroot environment, then the installation succeed. Bye, Giuseppe