(default-coded-charset-priority-list): Add `==ks-x1001'.