My limited understanding is that the GPLed parts of the product must be
made available. But I'm not aware that using GPLed parts means that
/everything/ /else/ must also be made available.

Your limited understanding is limited and/or incorrect, particularly for operating system vendors.

This list is not the place to discuss the GPL, but please stop.