The Raspberry Pi might be getting a small software fix that makes a big performance improvement.