Add platform/machine independent <bmk-core/types.h> and use it.

Create librumprun_rumpuser, platform-independent rump kernel hypercalls

Seed with rumphyper_synch.c from platform/xen.

(and also convert /xen to use rumprun_rumpuser)