This is literally illegal. The Linux kernel is licensed under GPL, which requires all distributed modifications of it to be distributed with full source code. The Linux kernel running under the Pixel is not an exception, and they just removed source code of their modifications, which isn’t allowed.
But it’s Google, they are above the law