arch: arm: Fix bug in cache flush code

Before invalidating the cache, make sure that all memory
access is ordered. Otherwise, in some cases we got inconsistant
results when the stack was poped after the disabling cache.

Change-Id: I27083b18acc133937a4a095bb5ea42598123996e
1 file changed