Yes, but the centralization runs so much deeper! We should ditch the centralized linux kernel and create at least 10 completely new kernels that are barely compatible to each other but will ensure our freedom and provide choice to the community!