Question on "Using deprecated CP15 barrier instruction".