fix in kernel patch script
Merge branch 'qt4' of github.com:/RTXI/rtxi into qt4