The Raspberry Pi gets a turbo mode