Assuming, that a buck driver can convert into the 1.9-2.3V range from 3.0-4.2V (I just hope, this assumption is right :-) ), I have seen these at kaidomain.com:

this - only 1 mode at 1.3A, 0.43A per led, not sure about height
this - very similar, height is shown as 6.8mm, not sure if it can fit in a Jaxman E2L host
I am also wondering about this and this - they don't seem to have 7135 regulators, but I am not sure, if they are linear or buck drivers.

Another idea came to my mind: is it possible to get a triple board for Carclo 105xx optics, which has the LED connections serially? If so, then the next step would be to find a single cell boost driver, which delivers max. around 0.8-1A current for the triple board - then Vf would be a bit high, but maybe still tolerable (5.7-6.9V range) - I wonder if there is a good boost driver for that (also, d=17mm).