Is it that in src/share/mk/bsd.kmodule.mk one would have to add some
support to build a XEN DOMU flavor of modules? Is it reasonably easy
to just hack it in so that one gets XEN modules *instead* of standard
modules? (Obviously not suitable for committing, but could be useful.)