More progress on the subject:

  • I cleaned up sources and pushed new version to github.
  • Stephen Warren submitted patches for R-Pi support to U-Boot mailing list here and here. His version is much cleaner so I spent some time combining his patches with ported USB driver. So now target is called rpi_b and you should use “make rpi_b_config” instead of “make raspberry_pi_config” step when building U-Boot from sources.
  • Pre-built binaries are available for download here.