Re-build of 9xenpccpuf, the PV Xen guest kernel built from sources at
/n/sources/xen/xen3/9), with latest changes in sys/src/9/port/,
sys/src/libc/ and others - resulted in non-functional kernel: it dies
on boot with attached diagnostics.
I haven't looked further yet.