Merge "Instrument ARM generated code to check the Marking Register." am: 52b450bd92 am: 04a8d7b2e4
am: 4a890af9de

Change-Id: I7844c5be53ac10f1c0c284256dc85aa81e0f3f20