Title should probably mention that this is about rump kernels for NetBSD/xen.