I posted an issue on macchiato@lists.einval.com which is specific to my macchiato board setup. I just have a more generic question I would like to ask here:

It appears that in my Marvell environment the DT data received through the EFI mechanism may be partially corrupted (to be proven). The uboot boot sequence works perfectly, but the EDKII boot fails in the kernel with stalled CPUs due to PCIe failures and other interrupt handling problems. 

Are there known issue receiving an FDT blob from EDKII using EFI? 

If no, could you perhaps share the test setup at a high level?

Kind Regards,

Fred