x86: Move the AMD64 specific parts out of setup_64.c