Add amd64 kernel config file for Shawn Webb for testing ASLR