xenkernelと xentoolsとそれぞれ 4.1 と 4.2のがあるんだけど、
xenkernel41, xentools41が入ってるとこへ xenkernelだけ 4.2にして
そのまま使える?

xenkernelは入れ替えんの簡単だけど、xentoolsは依存が深いので入れ替えが
たいへん..