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