Ho 2 banchi di ddr PC3200 a 400Mhz e volevo mettercene altri due però i PC4000 a 500Mhz.....La marca è completamente diversa potrebbero non funzionare??