Crucial vengance lpx, both of them.
EDIT: here's some more information. Both are 3200 MHz, the firt kit's timings are 16-20-20-38, second kit 16-18-18-36.
As I said, xmp defaulted to the second's kit timing and the system wasn't stable. But with the first kit's timings it's working fine.