[aarch64-port-dev ] git: openjdk/aarch64-port: master: 8270438: "Cores to use" output in configure is misleading