It looks like the most recent teensyduino update changes the name of various SPI related registers. I discovered this when people suddenly started complaining about the teensy3 not working for them anymore w/FastSPI_LED2. Are these names going to be in flux, or is the most recent set (nearly) final?