[U-Boot] [BUG] booting on the Tinker Board (tinker-rk3288_defconfig) is broken

Hello Simon, hello Philipp,

since patch

Merge tag 'for-master-20190201' of git://git.denx.de/u-boot-rockchip e5fd39c886485e3dec77f4438a6e364c2987cf5f

booting on the Tinker Board (tinker-rk3288_defconfig) is broken.

There is not even any UART output from SPL.

Best regards

Heinrich