update vmware9 kernel config