Is there any uboot config option in to print boot sequence with time prefixes similar to kernel option CONFIG_PRINTK ?