2015-09-14, 14:21
Also I lied - once the GPU memory is leaked, restarting Kodi does not always recover the GPU memory and the Pi needs a reboot. However sometimes it doesn't need a reboot to recover the memory, and a Kodi restart is sufficient. Weird.