Minor enhancements in Linux kernel module
Makefile. Also appropriate method definitions in DSL description.