[U-Boot] Freescale 4080DS availabity?

[Reynolds, Stephen (GE Intelligent Platforms)]

Hi

Could anyone from Freescale please tell me if the patches for the
P4080DS will be applied to the main U-Boot tree, and if there is a date
these are expected to come through?

Thanks for your help

Steve