Fix XEN kernel build.

Pointy hat to:	jhb


git-svn-id: svn+ssh://svn.freebsd.org/base/head@274054 ccf9f872-aa2e-dd11-9fc8-001c23d0bc1f