I think GPL code shouldn't be included directly, but I think it is fair to allow GPL code be downloaded using the building system case user selected it.
We created this directory specifically to hold forks of GPL code that can be used with NuttX: https://github.com/NuttX . I am not sure of the current state; it hasn't been used or maintained.