Re: Do we use ARM's system mode in linux kernel