Add back instruction set appendix