[Kernel] Fix assignation