update for uboot run it ,then switch s->ns, add gic setting ,but it still can not startup kernel