RFR: 8348554: Enhance Linux kernel version checks [v2]

[Robbin Ehn]

> Hi, please consider.
> 
> As we have kernel bugs to work around in RISC-V, we need a more detailed check.
> See:
> https://github.com/openjdk/jdk/pull/23256
> 
> I updated the naming to align with Linux (major, patch, sub):
> https://github.com/torvalds/linux/blob/bc8198dc7ebc492ec3e9fa1617dcdfbe98e73b17/Makefile#L1313
> 
> Additionally, I added a comparison function to simplify these checks.
> 
> Manually tested. Thanks, Robbin.

Robbin Ehn has updated the pull request incrementally with one additional commit since the last revision:

  Rename

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

Changes:
  - all: https://git.openjdk.org/jdk/pull/23291/files
  - new: https://git.openjdk.org/jdk/pull/23291/files/342c5e6f..bdcbc371

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

  Stats: 22 lines in 3 files changed: 5 ins; 5 del; 12 mod
  Patch: https://git.openjdk.org/jdk/pull/23291.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/23291/head:pull/23291

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