[U-Boot] Is there a branch with support for Karo TX51?

Hi,

grepping current master for tx51 gives:

arch/arm/include/asm/mach-types.h:#define MACH_TYPE_TX51 2529 arch/arm/include/asm/mach-types.h:#ifdef CONFIG_MACH_TX51 arch/arm/include/asm/mach-types.h:# define machine_arch_type MACH_TYPE_TX51 arch/arm/include/asm/mach-types.h:# define machine_is_tx51() (machine_arch_type == MACH_TYPE_TX51) arch/arm/include/asm/mach-types.h:# define machine_is_tx51() (0)

I think this is not sufficient for building u-boot booting TX51...

Is there a branch or other source out there supporting TX51? KARO itself seems to support only a very poor redboot ( no ddirect booting from SDCard / TFTP ).

Thanks in advance

Andreas