Edit: actually they don't need to fix that even (though it would be needed for OTA flashable kernel, I think), change 6 lines in debian/rules and the kernel should build like the previous one.