Optimizing SteamOS for the Raspberry Pi.