[PATCH] x86: Improve handling of kernel mappings in change_page_attr