RFR: 8365053: Refresh hotspot precompiled.hpp with headers based on current frequency [v3]

[Francesco Andreuzzi]

> In this PR I propose to refresh the included headers in hotspot `precompiled.hpp`. The current set of precompiled headers was refreshed in 2018, 7 years ago. I repeated the same operations and measurements after refreshing the set of precompiled headers according to the current usage frequency.
> 
> These are the results I observed. Depending on the platform, the improvement is between 10 and 20% in terms of total work (user+sys). The results are in seconds.
> 
> 
> linux-x64 GCC
> master      real 81.39 user 3352.15 sys 287.49
> JDK-8365053 real 81.94 user 3030.24 sys 295.82
> 
> linux-x64 Clang
> master      real 43.44 user 2082.93 sys 130.70
> JDK-8365053 real 38.44 user 1723.80 sys 117.68
> 
> linux-aarch64 GCC
> master      real 1188.08 user 2015.22 sys 175.53
> JDK-8365053 real 1019.85 user 1667.45 sys 171.86
> 
> linux-aarch64 clang
> master      real 981.77 user 1645.05 sys 118.60
> JDK-8365053 real 791.96 user 1262.92 sys 101.50

Francesco Andreuzzi has updated the pull request incrementally with one additional commit since the last revision:

  script. update

-------------

Changes:
  - all: https://git.openjdk.org/jdk/pull/26681/files
  - new: https://git.openjdk.org/jdk/pull/26681/files/a75494f1..d6cd068b

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=jdk&pr=26681&range=02
 - incr: https://webrevs.openjdk.org/?repo=jdk&pr=26681&range=01-02

  Stats: 167 lines in 3 files changed: 167 ins; 0 del; 0 mod
  Patch: https://git.openjdk.org/jdk/pull/26681.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/26681/head:pull/26681

PR: https://git.openjdk.org/jdk/pull/26681