s390/ipl: get rid of ipl_ssid and ipl_devno