Jason, I investigated a little bit, and found out that orion_nand driver was the only PLAT_ORION driver needing <mach/hardware.h>, and in fact this include was not needed. The attached patch therefore removes this include from orion_nand. Thanks, Thomas