Symbol: rk32xx_mp_start_ap