Samsung or Infineon doesn't matter, really. The BGA packaged memory is more expensive, but allows for higher frequencies. I'd expect plain 9600 boards to use normal TSOP packaged RAMs (rectangular, visible contacts), and the Pro flavor to use BGA. There's an inbetween flavor from some makers, using a Pro core but clocking the RAM slower like on a non-Pro.