s390: use set_memory.h header