Fix bug in bump_kernel_packages