Is there a production compatible way to set serial numbers for the Teensy 4?

I think the most convenient solution would be if we could write over the serial number in the image flashed to the board.

Another, might be if there is a command-line build. If so, we could use a define.

Is there any hope for any of these idea?

Thank you