Do not use MEMBARRIER_MCR for any Thumb code.