[PATCH] x86_64: Fix change_page_attr cache flushing