scripts: kernel-doc: remove unnecessary change wrt Linux