[SeaBIOS] [PATCH] make BUILD_MIN_BIOSTABLE configurable