fix bug in kernel module