Fix CI

Author: antoyo

.github/workflows/ci.yaml

@@ -254,7 +254,7 @@ jobs:
           grep '] rust_print: Info message (level 6) with args$'         qemu-stdout
           grep '] rust_print: A line that is continued with args$'       qemu-stdout
 
-      - run: grep '] ok 7 rust_doctests_kernel$' qemu-stdout
+      - run: grep '] ok 1 rust_doctests_kernel$' qemu-stdout
 
       - run: python ci/check_panics.py qemu-stdout