[S390] Add highgprs facility to /proc/cpuinfo