MediaTek has not always played nice with GPL, but recently it seems either the OEMs or MediaTek has been doing something, and kernel sources for various 64-bit MediaTek devices have been released. This does not include leaks such as the one here, but rather, official sources released by the OEMs with official statements/news reports on them.