>> +config MMU_GATHER_TABLE_FREE_COMMON>> + bool> > I don't like that name... The point isn't that it's common, the point is> that the page-table's are backed by pages.What is a better name?MMU_GATHER_TABLE_FREE_PAGES?MMU_GATHER_TABLE_FREE_PAGES_BACKED?Nikita