That’s an ambitious interpretation. The preferred form for making modifications to the Linux kernel also involves having a build cache, but that’s clearly not required to remain GPL compliant.