Add wfsctl source code to vmkdrivers-gpl.