Oops. fmrx is only for armv7.