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 seem to be implement for the stm32mp1 board.
