Activado DEBUG_KERNEL (necesario para diversas funciones)