Fix XEN kernel build.

Pointy hat to:	jhb