Re: [U-Boot] drivers: firmware: psci: use pr_* log functions instead of printf()