altos/chaoskey: Use SoC device ID as serial number