Micron would be ideal, but I've heard now you might even find Crucial brand memory with Infineon chips? :-/
Hm, nothing's impossible in the memory market 😉. Perhaps they can buy the stuff cheaper on the spot market than they can produce it, dunno...
Anyway - for SDR SDRAM I would not worry. The Infineon chips are very good, probably better than the Microns.
With DDR it's another story. Has somebody asked Crucial directly?