ARM: optimised MAC64 and MLS64