(est-coded-charset-priority-list): Add `==jis-x0212'.