つーかなんでXen4.0カーネル使ってるんだろ
サポート対象がXenServerなら、3.4とかじゃね?
XCPも3.4だし

XenServerの最新って4.0カーネル使ってるんだっけか