Experimenting x86_64 support

WIP