pack-kernel.sh: fix for new release