The RUN switch of the Raspberry Pi Zero board