Re: [coreboot] Makefiles question: -fno-delete-null-pointer-checks needed in Makefiles