[S390] s390/vmcp: use simple_read_from_buffer()