Is there any word yet on when we can expect to get serial number support for the Teensy 3.0? Currently the Teensy 3.0's iSerialNumber shows up as "12345." For the product I am developing, it would be ideal to uniquely identify each one's iSerialNumber shown in the descriptor via PC-side software (tracking each product, authentication, etc.). I know that I can manually change this number by modifying usb_desc.c, but that would require me to compile individualized firmware updates for my customers.