How can I get the machine serial number and CPU ID in a Linux system? Sample code is highly appreciated.