I flashed Drive SW 10.0 to Drive Xavier through SDKmanager, and I have been trying to install some application sw. But run into this problem: /lib/modules/4.14.102-rt53-tegra/build: No such file or directory. I also checked /usr/src. It is empty. Wonder if I need to build the kernel after flash the platform, but how?