[CentOS] Two cleanly installed CentOS 5.6 servers but with different Xen kernel versions