fix mach.aries.c so it compiles

Change-Id: I15c1975bd8d623dbe88e6759e609407a08c045be