I'm design a new P1020 board based on P1020RDB-PC, I use P1020NSN2HFB so the DDR3 can run at 667MHz data rate. I found that U-BOOT can always boot up, but the kernel can't. the kernel always meet machine check. I know P1020RDB-PC use a slower DDR3 the rate is 1333MHz, I only can use the 1600MHz one. Does anybody know how to adjust the DDR3 controller to make it work?