Are there any additional options I might want to specify for the cpu?
You can specify -mcpu=arm7tdmi so that the compiler and assembler know what exactly what type of chip it is targeting. This helps to report unsupported opcodes as well as use any instructions that the arm7tdmi may have that other ARM chips do not. The compiler was configured with –with-cpu=arm7tdmi, so this option may be redundant. Also, -mtune=arm7tdmi, may activate cpu model specific optimizations. I do not know if any such optimizations exist, but it can not hurt to add this option in case someone contributes some to gcc in the future.