There is more or less a standard 5000K for flash lights that does work for reproduction photography and it is Xenon based. That said there are Xenon lamps for cars ranging from 4000K up to 12000K. I guess anything close to 5000K and with a continuous spectrum, so without spectral spikes, should work.
Met vriendelijke groet, Ernst
340+ paper white spectral plots:
http://www.pigment-print.com/spectralplots/spectrumviz_1.htmupdate april 2012: Harman by Hahnemühle, Innova IFA45 and more