On 4/9/19 1:00 AM, Stephen Rothwell wrote: > Hi all, > > Changes since 20190408: > on x86_64: # CONFIG_MODULES is not set In file included from ../include/linux/kernel.h:11:0, from ../arch/x86/platform/efi/efi_64.c:21: ../arch/x86/platform/efi/efi_64.c: In function ‘efi_sync_low_kernel_mappings’: ../include/linux/compiler.h:329:20: error: call to ‘__compiletime_assert_277’ declared with attribute error: BUILD_BUG_ON failed: p4d_index(EFI_VA_END) != p4d_index(MODULES_END) Full randconfig file is attached. -- ~Randy