Comment by Matl

Unless they modify it, the GPL really doesn't impact them. AFAIK FSF considers most BSD/MIT style licences to be compatible. It's the other way around where things gets stuck. Unless they need Linux GPU/WIFI/BT drivers to make things work, of course. Then it's fine.