On Tue, 2014-10-14 at 09:39 +0200, Scott Wood wrote: > For a short-term workaround, I'd rather leave CONFIG_ZONE_DMA32 where > it > is and put #ifdef CONFIG_FSL_SOC (with a comment) around the whole > thing. I'd like to not enable CONFIG_ZONE_DMA32 when we don't need it, ie, on !BOOKE 64-bit Cheers, Ben.