kernel modules for non-PAE Xen still being built/installed?

["John D. Baker" <jdbaker%mylinuxisp.com@localhost>]

About six weeks ago, the non-PAE versions of the NetBSD-XEN kernels for
i386 (XEN3_DOM0, XEN3_DOMU, INSTALL_XEN3_DOMU) were retired from -current.
(As I understand it, all current XEN kernels (pkgsrc sysutils/xenkernel*)
for 32-bit x86 require PAE.)

Since then, kernel modules for non-PAE NetBSD-XEN kernels are still
being built and installed ("/stand/i386-xen/8.99.*/modules/...").  There
is "/stand/i386pae-xen/8.99.*/modules/..." for PAE NetBSD-XEN kernels.

Should not these also be retired and no-longer built/installed?

-- 
|/"\ John D. Baker, KN5UKS               NetBSD     Darwin/MacOS X
|\ / jdbaker[snail]mylinuxisp[flyspeck]com    OpenBSD            FreeBSD
| X  No HTML/proprietary data in email.   BSD just sits there and works!
|/ \ GPGkeyID:  D703 4A7E 479F 63F8 D3F4  BD99 9572 8F23 E4AD 1645