enable CONFIG_PRINTK_TIME to show dmesg timestamps

Change-Id: Ic27fb41c11b63cf790ee1e48928da8dfe9898dc4
1 file changed