Merge branch '080208_dupint' of git://linux-arm.org/u-boot-armdev