bmips_write_zscm_reg
bmips_write_zscm_reg(0xa0, (val << 16) | val);
bmips_write_zscm_reg(0xa0, ctx->sc_boot_vec);