Hello, I'm also interested to supply my Teensy 3.2 with 1.8V because I want access via the Teensy external 1.8V Hardware.
I'm now a little bit confused about your pin assignment, description: "lifted pin 7 to ground, pin 8 to VUSB, and VREG33" on my teensy 3.2 I cannot find for example VREG33...