read product family from GPIO1[0..2] in board_init().  print it in misc_init_r()
start of DDR2 support
add sep. DDR2 PLL defines.  start with 200MHz clock and eventually move to 400MHz