[kernel] fix usage of smp_call_function