The point of EXPORT_SYMBOL_GPL has always been to indicate that the authors feel that there's no possible way that you could use the functionality without being a derived work. But it's also always been explicit that this is not intended to mean that avoiding EXPORT_SYMBOL_GPL means that you're *not* a derived work. At that point you're just in a slightly greyer area.