Raspberry Pi, cpu serial number retrieval.