kernel/profile.c: Switch /proc/irq/prof_cpu_mask to seq_file