[SeaBIOS] [PATCH] Makefile: Allow overriding defconfig