Boost port for EbbRT baremetal