Fixed comment about Raspberry Pi detection in configure script