ardupilotwaf: add new board PocketPilot

Tools/ardupilotwaf/boards.py

@@ -368,6 +368,16 @@ class blue(linux):
             CONFIG_HAL_BOARD_SUBTYPE = 'HAL_BOARD_SUBTYPE_LINUX_BLUE',
         )
 
+class pocket(linux):
+    toolchain = 'arm-linux-gnueabihf'
+
+    def configure_env(self, cfg, env):
+        super(pocket, self).configure_env(cfg, env)
+
+        env.DEFINES.update(
+            CONFIG_HAL_BOARD_SUBTYPE = 'HAL_BOARD_SUBTYPE_LINUX_POCKET',
+        )
+
 class pxf(linux):
     toolchain = 'arm-linux-gnueabihf'