Hi, sorry if I am in wrong place of forum. Is it possible to use other diodes like 1N4007 or 1N4148 instead of 1N5817 for external power supply on Teensy 3.2?