[U-Boot] Freescale 4080DS availabity?

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