Revert "Modif core_kernel"

This reverts commit 232c947ba361b7f9630b24940ecc8d3c0d4b869f.