Re: [U-Boot] Not able to get the prints in the do_irq handler