Cite Documentation/kernel-parameters.txt for an alternative to
building with PRINTK_TIME compiled in.
Signed-off-by: NJim Cromie <jim.cromie@gmail.com>
Signed-off-by: NJiri Kosina <jkosina@suse.cz>