[SeaBIOS] Re: [PATCH] Makefile: Allow overriding defconfig

[Gerd Hoffmann]

> +# Default config (can be overriden)
> +KCONFIG_DEFCONFIG?=/dev/null
> defconfig: $(obj)/conf
>    @echo "  Build default config"
> $(Q)$< --defconfig=/dev/null $(Kconfig)
> $(Q)$< --defconfig=$(KCONFIG_DEFCONFIG) $(Kconfig)

Looks useful.  "git am" refuses to apply this one too though.

cheers,
  Gerd