Is there any way to make uboot change default kernel to boot from? (If yes, but it's in some uboot documentation somewhere, and that documentation applies to this N900 port, feel free to just pont me to that. I don't mind learning on my own if I have any idea as to where to look.)