Minor documentation updates
Use the entire 128-bit CPU serial number