use the newly defined PLATFORM_X86
use the newly defined PLATFORM_X86

[git-p4: depot-paths = "//sw/gpgpu/nvbio/main/": change = 18790869]

NVlabs/nvbio,kimrutherford/nvbio,NVlabs/nvbio,kimrutherford/nvbio,NVlabs/nvbio,NVlabs/nvbio,kimrutherford/nvbio,kimrutherford/nvbio