updated to rukerneltool 0.6.2.17