Fixed cacheflush bug on ARM/Linux -- thanks to Eric Humbert from Invoxia for reporting this bug