Capnproto port for EbbRT-baremetal