Re: [PATCH] firmware/psci: fix missing '%u' format literal in kthread_create_on_cpu()