hg: jdk-updates/jdk11u-dev: 8243389: enhance os::pd_print_cpu_info on linux

[matthias.baesken at sap.com]

Changeset: e5298794ddf5
Author:    mbaesken
Date:      2020-04-29 08:57 +0200
URL:       https://hg.openjdk.java.net/jdk-updates/jdk11u-dev/rev/e5298794ddf5

8243389: enhance os::pd_print_cpu_info on linux
Reviewed-by: dholmes, mdoerr

! src/hotspot/os/linux/os_linux.cpp