x86: make sure initmem is writable on 64-bit