Indeed. There are also many phone/IoT/embedded device vendors that ship devices with the Linux kernel without ever fulfilling the obligations of the GPL.