added correct datalayout for nvptx64