As far as I understand they didn't burn them in fact as this tokens were went out from total supply, not from circulating supply ad will be adding as rewards per POS mining... ?
eventual total coins would still be 210 million cap, as in the whitepaper