Visto che avete a cuore il kernel...
E Mediacom (e compagne) non lo rilasciano, si può provare un'azione attraverso un sito che si occupa specificamente di ciò:
GPL Violations homepage - The gpl-violations.org project
Sembra che in passato questo sito sia stato messo in mezzo in querelle contro HTC ed il mancato rilascio del kernel del Desire.
Non sono poche le aziende che non rilasciano i kernel, ma se si insiste non possono esimersi. Sebbene qui in Italia non credo che qualcuno si prenda la briga di fare causa a qualche altro perché non rilascia i kernel (molto più facile in USA, impostare cause di questo tipo).
Comunque, se volete provarci...