Linux kernel servo driver