Moved x86_64 .config file into a directory for pre-made .config
files for klee. i386 support has not been added yet!

The configure script copies the relevant .config to the uclibc
root directory based on the detected architecture.
This behaviour can be disabled using the --disable-prebuilt-config
flag so that the user is free to make their own .config