Move kernelExtraConfig to common-config.nix (for x86)

It's bad to have the kernel config scattered across two places.  (This
should also be done for the other architectures.)

Also, restore Xen and KVM guest support in Linux 3.10.
VM builds: Use the default kernel
VM builds: Reduce kernel verbosity