> docproc: kernel/printk.c: No such file or directory

So rename the file.
Signed-off-by: NJoe Perches <joe@perches.com>
Noticed-by: Nkbuild test robot <fengguang.wu@intel.com>
Acked-by: NRob Landley <rob@landley.net>
Signed-off-by: NJiri Kosina <jkosina@suse.cz>