[MACH] ZYNQ - Implemented SLCR locking api.
[MM] Correctly reserve pages containing the kernel stacks. Added some documentation to the linker file.