cuda: added '--with-ptx' configure option for disable execution of the Cubin-only module