Make sure clear_cache() builtin has an appropriate definition for Linux. Call syscall(NR_cacheflush, ...).
OK to commit?