I just noticed something unusual in CogARMCompiler>>msr:. The field cond -- which comes from the leftmost nibble of 16r1328F000 -- is 1, i.e. NE. So in fact we are emitting MSRNE, not MSR. Is this on purpose? Or should the code read ^16rE328F000 + ... + ... ? (E for "Always")