With following patch we now ignore all generated files for make allmodconfig for x86_64.
Signed-off-by: Sam Ravnborg
#Ignore generated files maui_boot.h pss_boot.h trix_boot.h