[PATCH v4 08/18] selftests/nolibc: fix up kernel parameters support