[SeaBIOS] Re: [PATCH] make BUILD_MIN_BIOSTABLE configurable