Add flushes and instruction barriers so that GCC does what we need with the Tx line...