s390: fix short kernel command lines