Fix some instalokernel version detection problems...