There are some reset bugs, and it is not u-boot (and its initialization) at fault, but something we do in the kernel. Will get back to it next week (now that I have a good workaround it is not that urgent). Thanks everyone! Martin