Use springbok renode config files to initialize platform. Change-Id: Ia2f3cfabec824564f77ed745cb16c4f73102a5e5