Raspberry Pi isn’t fully open source on the GPU display, and we have no way to keep track of what’s really going on.