Shutdown switch for the Raspberry Pi