Но вообще это верно, да. Теоретически можно патчи как-то использовать отдельно. Но тогда для них нужно определять лицензирование отдельно, и потом каждому встречному пояснять, а откуда у меня этот код, и почему он не облагается GPL. А оно мне надо? Нет, не надо.