Alseif yo tú no le pondría el regulador al TEENSY e intentaría alimentar las nands externamente, ya sea por pilas o fuente de alimentación de PC, esta última va muy bien y es la que yo uso.
A mi personalmente no me ha dado buen resultado el alimentar las nands desde la propia PS3, pero esto ya es cosa tuya.