I think if you need to build any older kernels then the simplest answer is the workaround in comment #8.
I think if you need to build any older kernels then the simplest answer is the workaround in comment #8.