printk.c: comments should refer to /proc/vmcore instead of /proc/vmcoreinfo