Overclocking Raspberry Pi 5 to 3.14 GHz on Pi Day