how to get tx2 coreboard serial number?

Every tx2 coreboard has a serial number. So We want to get the serial number of tx2 coreboard.
Does it have any api for it?

I have got the sollution to read serial number of carry board.
cat /proc/cmdline
there will be a string when read the node. The android.serialNumber is the serial number of carry board.