Linux 3.4 branch kernel config for Xen virtual machine