XEN3_DOM0 kernel config in the NetBSD 3.1

Hello!

I can not find XEN3_DOM0 kernel config in my NetBSD 3.1
sources. I have 
the wrong files or something was changed?

esio$ pwd
/usr/src/sys/arch/i386/conf
esio$ ls XEN*
XEN2_DOM0 XEN2_DOMU XEN3_DOMU
esio$

PCh