On Fri, 2013-03-22 at 19:56 +0000, Ben Hutchings wrote: > The 'CONFIG_' prefix is not implicit in IS_ENABLED(). $ git grep -n "\bIS_ENABLED(" | grep -v "(CONFIG_" arch/arm/mach-clps711x/board-autcpu12.c:161: if (IS_ENABLED(MTD_NAND_GPIO) && IS_ENABLED(GPIO_GENERIC_PLATFORM)) { arch/arm64/mm/mmu.c:264: bool page64k = IS_ENABLED(ARM64_64K_PAGES); [...] Did you check these other three (potential) problems too? Paul Bolle -- To unsubscribe from this list: send the line "unsubscribe linux-efi" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html