chore: update build cache

(extracted from 2023-09-07_1.img)

Change-Id: Ib056ac68761e40332428b74a790ae8fa7732daa3

.ci/Jenkinsfile

@@ -23,7 +23,7 @@ pipeline {
 
 	parameters {
 		string(name: 'BUILD_CACHE_NAME',
-			   defaultValue: 'init_from_2023-05-10_1',
+			   defaultValue: 'init_from_2023-09-07_1',
 			   description: 'Which buildcache to use? They reside under $HOME/build_caches/$BUILD_CACHE_NAME and will be created if they do not exist.')
 	}