Index: kernel/generic/src/console/kconsole.c
===================================================================
--- kernel/generic/src/console/kconsole.c	(revision a7d8739ec6d635f2140a842cc3057c79a90c776d)
+++ kernel/generic/src/console/kconsole.c	(revision 4b2c7a88682dc6a0f2539e2d3b21134602c4ad94)
@@ -524,5 +524,8 @@
 		/* It's a number - convert it */
 		uint64_t value;
-		int rc = str_uint64_t(text, NULL, 0, true, &value);
+		char *end;
+		int rc = str_uint64_t(text, &end, 0, false, &value);
+		if (end != text + len)
+			rc = EINVAL;
 		switch (rc) {
 		case EINVAL: