kernel/irq/manage.c: use the pr_foo() infrastructure to prefix printks