Fix ARM profiling/instrumentation configuration