I have a new board coming in soon based on the BeagleBone, but with DDR3. I can see in U-Boot where and how to configure the DDR3, but I can't see where it's done in the Linux kernel? Can anyone assist? Does the config. need to be done if it's already done in the boot loader?