Fix ocp-build.boot for 3.12.1