Fix s390 boot upgrade