increase the readability of the pagefault handler
increase the readability of the pagefault handler

RWTH-OS/HermitCore,RWTH-OS/HermitCore,RWTH-OS/HermitCore,RWTH-OS/HermitCore,RWTH-OS/HermitCore,RWTH-OS/HermitCore