Do we use ARM's system mode in linux kernel