64-bit memories are already in wasm 3.0 draft (and in any case this isn't a platform where you'd need the Linux kernel running).