sel4test: fix SCHED_CONTEXT_0001 period of 0 does not work

The comment indicates the code is meant to verify setting period to 0
will fail but it also supplies a budget of 0 and the kernel checks that
before period so this intended test was never done. Supply a valid budget
so the kernel does what was intended.

Bug: 250072589

Change-Id: I119114cecd7187a630289998bbd547d5e2acaf45

apps/sel4test-tests/src/tests/schedcontext.c

diff --git a/apps/sel4test-tests/src/tests/schedcontext.c b/apps/sel4test-tests/src/tests/schedcontext.c
index dc08da9..dedea94 100644
--- a/apps/sel4test-tests/src/tests/schedcontext.c
+++ b/apps/sel4test-tests/src/tests/schedcontext.c
@@ -48,7 +48,7 @@
     test_eq(error, seL4_RangeError);
 
     /* test a period of 0 doesn't work */
-    error = api_sched_ctrl_configure(simple_get_sched_ctrl(&env->simple, 0), sc, 0, 0, 0, 0);
+    error = api_sched_ctrl_configure(simple_get_sched_ctrl(&env->simple, 0), sc, 5000, 0, 0, 0);
     test_eq(error, seL4_RangeError);
 
     /* test budget > period doesn't work */