fix up mach-aries.c again

Change-Id: I5b2ee3a63f7bad7dbc6711e3af9968872cbf903f