A DESCRIPTION OF THE PROBLEM :
Since the static `System.bootLayer` field doesn’t change after it’s set in `System.initPhase2(…)`, it can be marked as `@Stable`.