Ahora se utiliza KERNEL_STACK en vez de la dirección para el stack