initial support for TS-x31 devices (hard-float arm cpu)
initial support for TS-x31 devices (hard-float arm cpu)