But Google aren't making these devices. They are providing an OEM operating system which can be installed on a device made by another manufacturer and sold bran

But Google aren't making these devices. They are providing an OEM operating system which can be installed on a device made by another manufacturer and sold branded by yet another company. It's exactly the same circumstance.