kernel: save in aux the list of section variables used
kernel: save in aux the list of section variables used

This has nothing to do with the kernel itself, but it is
the place where this piece of data is inferred.

william-lawvere/coq,jpdeplaix/coq,gmalecha/coq,mlasson/coq,pirbo/coq,gares/coq,Ptival/coq,Lionel-Rieg/coq,mlasson/coq,Zimmi48/coq,jpdeplaix/coq,SkySkimmer/coq,ejgallego/coq,ppedrot/coq,Zimmi48/coq,Matafou/coq,maximedenes/coq,silene/coq,ale-f/coq,coq/coq,herbelin/github-coq,aspiwack/coq,pirapira/coq2rust,maximedenes/coq,william-lawvere/coq,TheTypoMaster/coq,Matafou/coq,asr/coq,pirapira/coq2rust,letouzey/coq-wip,silene/coq,coq/coq,mlasson/coq,amintimany/coq,8l/coq,TOSPIO/coq,letouzey/coq-wip,shindere/coq,TheTypoMaster/coq,shindere/coq,coq/coq,asr/coq,pirbo/coq,ppedrot/coq,amintimany/coq,letouzey/coq-wip,ppedrot/coq,aspiwack/coq,TOSPIO/coq,ejgallego/coq,JasonGross/coq,mattam82/coq,gmalecha/coq,maximedenes/coq,ale-f/coq,8l/coq,ejgallego/coq,william-lawvere/coq,TOSPIO/coq,Ptival/coq,letouzey/coq-wip,pirbo/coq,Ptival/coq,herbelin/github-coq,silene/coq,barras/coq,mattam82/coq,letouzey/coq-wip,herbelin/github-coq,Lionel-Rieg/coq,pirapira/coq2rust,maximedenes/coq,gares/coq,coq/coq,ppedrot/coq,JasonGross/coq,SkySkimmer/coq,gares/coq,barras/coq,gmalecha/coq,ppedrot/coq,barras/coq,mattam82/coq,TheTypoMaster/coq,SkySkimmer/coq,8l/coq,JasonGross/coq,ejgallego/coq,ale-f/coq,gares/coq,maximedenes/coq,Zimmi48/coq,asr/coq,SkySkimmer/coq,Matafou/coq,amintimany/coq,JasonGross/coq,gares/coq,shindere/coq,jpdeplaix/coq,Lionel-Rieg/coq,Zimmi48/coq,aspiwack/coq