He was implied to be dead in End of Spider-Verse, yeah - an arc which introduced a new Earth-616 Spider-Boy who's 100% controlled by Marvel. However,...
You don't know that he won't be. We know a new writer is about to be announced, since Duggan's run ends in July. Safe to assume a new #1 will be out...
I didn't know Kitty and Carol were particularly close... but surely that guard ought to have recognised the name as being that of Ms./Captain Marvel?...