Correct device name in Raspberry Pi documentation