add correct typehint for board gateway