PAE/non-PAE Xen kernel

[Étienne <etienne.pub%magickarpet.org@localhost>]

Hello list, and merry Christmas,

I'm trying to set up a Dom0 host with NetBSD-5.0.1 and Xen from the
2009Q3 pkgsrc. The machine is an "old" AMD Athlon, and while booting I
get a panic from Xen (that I have just 5 sec to read) about a mismatch
between Xen kernel and Dom0 kernel on PAE capabilities ? It looks like
the one described there:
http://old.nabble.com/Problem-with-PAE-less-processor-in-xen-3.1.0-td15396918.html

If I get it right, I need to build a Xen kernel without PAE support.
How do I do that in pkgsrc ? And by the way, is there any way to keep
Xen from rebooting at this point so you can read what exactly happens ?

Thanks for your interest in my question.

-- 
Étienne