[PATCH] Dynamic kernel command-line: xtensa