No, not stock. First bought a cheap ebay LED pair. They were 6000K. Then decided to get the Angel Ibright LEDs and replaced the ebay ones with them. So, the comparison is of the ebay type vs Angelibright v3.0.

Stock is considerably more yellow in color.

EDIT: If you mean the actual AEs themselves - yes, those are stock. No need to change to ccfl and pretty hard (not worth it IMHO) to change out. Just change the bulb and bulb housing (see pics). 04+ X5s have AEs stock. The years before that did not have AEs stock. So those are the models that usually people will add AEs or replace the whole headlight assemblies with ones that have them installed already.