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