This needs to be revisited with the VDSO implementation, but is sufficient to allow the linux64 module to build on arm64 for testing and development. Sponsored by: Turing Robotic Industries