find raspberry pi serial number for codecs