Create a test for kernel section

[Fumuran]

What should be done?

We should add a new test to check the correctness of the values in the kernel section.

How should it be done?

We should create a new test (or modify the existing one) in the test_prologue.rs file to check the values stored in the kernel section:

• Check the number of kernel procedures at memory address 400
• Check the hashes of the kernel procedures in memory interval from 401 to 429. Probably we should use this array to check the values.

When is this task done?

This task is done when we will have the passing test checking the values in the kernel section.

Additional context

No response