x86: re-add clflush_cache_range()