[SeaBIOS] Re: [PATCH v2] make BUILD_MIN_BIOSTABLE configurable