p.s. to dontpanic: I also didn't find U-Boot source code.