More SDL: Set x64 machine type correctly