But if I add the argument void *dest asm("%a1") in the header file (the "kernel.h"), it works correctly.

It is the best solution!

Do you want I add this parameter in kernel.h?
I have forgotten it when I write this header.