Yes, they work. What happens now is that you build, write to sdcard and boot from the sdcard. The boot process stops in uboot with that error message above. You have to manually copy and paste the boot.cmd in to uboot which then boots Linux.
So in short, I am 100% sure that it works because copy and paste works.
I just did a test by switching mkimage (for generating the boot.scr from boot.cmd) to use the rkbin version rather then the uboot version. The same problem persists. This suggests that the problem is a uboot issue.