Documentation fixups, including a major derp: ARM# and ARMv# are not identical, and the GBA CPU (ARM7TDMI) is actually an ARMv4T chip, not an ARMv7-A&R chip :|