Fix a couple of problems introduced in the last commmits

fs/aio/aio_write.c

@@ -141,7 +141,7 @@ static void aio_write_worker(FAR void *arg)
           int errcode = get_errno();
           fdbg("ERROR: fcntl failed: %d\n", errcode);
           aiocbp->aio_result = -errcode;
-          goto errout:
+          goto errout;
         }
 
       /* Perform the write using:

sched/wqueue/kwork_process.c

@@ -42,6 +42,7 @@
 #include <stdint.h>
 #include <unistd.h>
 #include <signal.h>
+#include <assert.h>
 #include <queue.h>
 
 #include <nuttx/clock.h>