linux kernel in xenkernel3

[John Hayward <John.C.Hayward%wheaton.edu@localhost>]

Hi Xeners,
   I'm trying to setup a linux domU under NetBSD Xen3.
In following the guide:
http://www.gutch.de/NetBSD/docs/xen.html
it indicicates there is a linux kernel - vmlinuz-2.6.11.12-xenU
it also states:
====
You can find the Linux kernel mentioned in this file in the distfile for 
pkgsrc/sysutils/xenkernel20
====

I don't see a linux kernel in xenkernel3.

Am I lookingn in the wrong area?
Should I use the one in xenkernel20?
Should there be one in xenkernel3?
Is there a kernel available eleswhere?
Do I have to build a separate linux system to build a domU kernel for
use under NetBSD xen3?

johnh...