Update minimum boot disk size in tutorial #1565

Job	Run time
Sanitizer tests (msan)	1m 32s
Sanitizer tests (msan)	5m 49s
Test with Bazel (avx, openmp)	4m 0s
Test with Bazel (avx, openmp)	4m 0s
Sanitizer tests (asan)	1m 15s
Sanitizer tests (asan)	4m 41s
Test with tcmalloc	3m 42s
Test with tcmalloc	3m 42s
Test with Bazel (avx, nopenmp)	3m 35s
Test with Bazel (avx, nopenmp)	3m 35s
Test with Bazel (sse, openmp)	7m 30s
Test with Bazel (sse, openmp)	7m 30s
Test with Bazel (sse, nopenmp)	3m 29s
Test with Bazel (sse, nopenmp)	3m 29s
Test with Bazel (basic, openmp)	7m 55s
Test with Bazel (basic, openmp)	7m 55s
Test with Bazel (basic, nopenmp)	3m 47s
Test with Bazel (basic, nopenmp)	3m 47s
	1h 21m 13s

Provide feedback