9f1f5b60e76d ("mm: use flush_icache_pages() in do_set_pmd()")