added CONFIG_RPI_EXT to let others now we runnig a Rasperry extension