[kbuild-all] Re: [PATCH] ARM: Fix incorrect use of smp_processor_id() by syzbot report