(Re)define GPS_RX_PIN for your board.
@$pb.TagNumber(8) $core.int get rxGpio => $_getIZ(7);
@$pb.TagNumber(8) set rxGpio($core.int value) => $_setUnsignedInt32(7, value);