[PATCH] Driver core: fix driver-core kernel-doc