bhyve_init_platform
if (bhyve_init_platform(ctx, bsp) != 0)
int bhyve_init_platform(struct vmctx *ctx, struct vcpu *bsp);