Kernel configuration for Generic x86_64.
Based on linux.i386.conf from Generic and linux.x86_64.conf from Fusion.