On Fri, 2014-05-30 at 19:59 +0100, Ian Campbell wrote: > > +Kernel-Flavors: armmp > > What CPU core does this thing have and does it support LPAE? If so then > I think armmp-lpae should be listed here too, even if the board has <4G > someone might still install it (e.g. for XN support or by mistake etc). Answering myself here, it's an i.MX6, I think, which is Cortex-A9, so no LPAE. Ian.