The Linux kernel can be configured at build time to expose its own headers as /proc/kheaders.tar.xz. Not sure if distribution kernels generally have this option enabled or not.
I have seen this reported as a rumour with circumstantial evidence to back it up (why would they release a brand-new flagship product with a 2-year-old chip). Has it been confirmed anywhere yet?