Add back some (currently unused) files lost in an earlier NuttX merge