x86: add set_memory_4k to pageattr.c