kernel: consistent types for argc, argv

kernel: consistent types for argc, argv #409