Do HP use "special" versions of Intel Xeons? I.e do they have a microcode in there meaning that only "HP" CPU's can be used in their servers? Or is it possible to purchase an off the shelf Xeon X3450 ...