OK, I see the coolcv_x86_64 and coolcv_i686 binaries in the latest "all" bundle.
Not sure how I missed this earlier.
In any case, coolcv isn't enabled on retropie x86, so I can't install it from the retropie_setup as it doesn't show up in any of the package lists.

Might be worth adding now? Perhaps try to determine which build would be required (i686,x86_64) at module install time?
Or perhaps just go with i686 for compatibility? (I hardly think it's going to stress the computer's memory :) )