Some kits, but not all appear to have an issue when booting from an SD card, the system may hang when starting the kernel.
I pushed a fix to U-Boot which became part of the 2016.09 release which was publised on 12 September 2016. I would suggest anyone who has started experimenting with the Beta BSP to upgrade the U-Boot release to 2016.09 if they are experiencing this issue.
ftp://ftp.denx.de/pub/u-boot/u-boot-2016.09.tar.bz2
adam