Re: [U-Boot] Configuring U-Boot through device tree (was: Minutes from the U-Boot Mini Summit 2013)