[PATCH] Dynamic kernel command-line: s390