netbsd-rumpkernel: cross build support; misc tweaks.