You should speak to your HP Networking presales contact, and/or your reseller/partner. A 12500 switch is probably not in the sort of environment where you can afford to take a guess! There will be a number of caveats and combinations including things like other modules, firmware, fabric cards, memory, etc