Use springbok renode config files to initialize platform.

Change-Id: Ia2f3cfabec824564f77ed745cb16c4f73102a5e5
1 file changed