I am working on a custom Teensy 3.1 PCB. I am told that I may need to configure a blank MK20DX256 chip. The FlexNVM set is default set in D-Flash mode (32k flash same as program flash?). Does Teensyduino configure the chip for EEPROM mode or for D-flash mode each time I load an application?