[PATCH] kernel/param.c: don't use .max when .num is NULL in param_array_set()