I forgot to remove some of them in https://github.com/apache/incubator-nuttx/pull/2227 . This commit removes them.