9057f5b
[builder] config: distribute non-default configuration temporarily This is to avoid the hassle with copying the configuration until we decide what to do with this PoC.