[Bug 604401] Xen para-virtualized guest boots native kernel