x86: use set_memory.h header