arm-hyp invariants: copy arch-splitted invariant files from ARM earlier updates in ArchInvariants are kept