Re: [PATCH v2] tty/sysrq: replace smp_processor_id() with get_cpu()