x86: fix clflush_page_range logic