RPi: changed gpu_mem to 100mb for 256mb RPis. fixes #1713
Merge pull request #2299 from jenkins101/RPi-gpu_mem

RPi: changed gpu_mem to 100mb for 256mb RPis. fixes #1713