I know there's a driver that works on RasPi to shut down when a GPIO fires. Does RK1 have GPIOs? Are they connected to the BMC? Or does the Jetson pin out have an explicit power button pin that the BMC could twiddle?