align kernel to a 16KB boundary
align kernel to a 16KB boundary

=> the whole kernel can be mapped as contiguous region

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