Resolved! Device serial number
Simple question:If i'm right the serial number returned by cat /sys/firmware/devicetree/base/serial-number is the UID from BSEC. Where is the code responsible for setting this value? I've seen the function get_board_serial in u-boot but it doesnt see...