[S390] Extra Kernel Parameters via VMPARM