AMD64 Linux kernel and the NX bit

By Pramode C.E.