[arch][arm] make sure all cpus have the same TTBR secondary bits loaded
[arch][arm] make sure all cpus have the same TTBR secondary bits loaded

Change-Id: Ie011621e72a0fa8d1fe43e6614ca376e1db5cbb7

srodrig1/lk,ErikCorryGoogle/lk,srodrig1/lk,sndnvaps/lk,skabet/lk,littlekernel/lk,travisg/lk,travisg/lk,hollanderic/lkstuff,sndnvaps/lk,minglun-tsai/lk,skabet/lk,minglun-tsai/lk,GCrean/lk,hollanderic/lkstuff,minglun-tsai/lk,hollanderic/lkstuff,srodrig1/lk,travisg/lk,srodrig1/lk,minglun-tsai/lk,GCrean/lk,ErikCorryGoogle/lk,skabet/lk,sndnvaps/lk,littlekernel/lk,littlekernel/lk,nvll/lk,nvll/lk,ErikCorryGoogle/lk,hollanderic/lkstuff,nvll/lk,srodrig1/lk,ErikCorryGoogle/lk,GCrean/lk,skabet/lk,skabet/lk,littlekernel/lk,GCrean/lk,nvll/lk,sndnvaps/lk,nvll/lk,sndnvaps/lk,travisg/lk,GCrean/lk