[PATCH v1 04/17] selftests/nolibc: fix up kernel parameters support