Thanks - its not clear if this one should be removed or not rather the one a few lines down. I'm currently checking with the NuttX maintainer.