fix some issues with picking the right tipc and tipcconfig based on the kernel
Merge branch '6.0' of github.com:OpenClovis/SAFplus-Availability-Scalability-Platform into 6.0