Fix kernel xen config.