The FSF thinks the X11 License (what they call the MIT license) is compatible with the GPL, so there shouldn't be a legal problem: https://www.gnu.org/licenses

The FSF thinks the X11 License (what they call the MIT license) is compatible with the GPL, so there shouldn't be a legal problem: https://www.gnu.org/licenses/license-list.html#X11License https://www.gnu.org/licenses/license-list.html#X11License It's up to the Linux kernel team.