psx07: Add missing parameter to printf() call

Close 2241.

Conflicts:
	testsuites/psxtests/psx07/init.c

testsuites/psxtests/psx07/init.c

@@ -43,7 +43,7 @@ void print_schedparam(
      schedparam->sched_ss_init_budget.tv_sec,
      schedparam->sched_ss_init_budget.tv_nsec );
 #else
-  printf( "_POSIX_SPORADIC_SERVER is not defined\n" );
+  printf( "%s_POSIX_SPORADIC_SERVER is not defined\n", prefix );
 #endif
 }