Port to Teensy 3.1 (32 bit ARM)

Here's a port to Teensy 3.1.