> Tested-by: Wolfram Sang <wsa+renesas@sang-engineering.com>

Bummer, I overlooked a local modification which prevented the pinmux
settings from being applied :(

So, it still doesn't boot for me. Is it my old U-Boot? I have

"U-Boot 2013.01-rc3 (Sep 09 2013 - 14:57:28)"

Sorry for the noise!