platform: add Notify() and Stop() to GPIO for edge-triggered events