[PATCH 5/9] armv7: Use isb/dsb directly in start.S