Fix up ARM instance of mvn to notx for PPC.