$_TARGETNAME configure -event reset-init {
# Force target into ARM state
- armv4_5 core_state arm
+ arm core_state arm
# Do not remap 0x0000-0x0020 to anything but the flash (i.e. select
# "User Flash Mode" where interrupt vectors are _not_ remapped,