To print irq number no need to transform to string using %d, then print
using %s. Just use %d.
Signed-off-by: NAlexey Dobriyan <adobriyan@gmail.com>