Fix correct reset value for ARM CP15 c1 auxiliary control register