Problem booting using latest linaro-linux-tracking (3.16.0-rc5)/mainline kernel (3.16.0-rc4) on Samsung Arndale Baord