We are encountering a similar issue. It seems what is being pulled by source_sync.sh is missing the aforementioned files. They are however included in the public_sources.tbz2 kernel sources (kernel_src.tbz2 archive). Manually copying the contents of kernel/nvidia/ to the matching directory pulled by source_sync.sh is our workaround.