title: Linux kernel modules.builtin in build directory does not match kernel
body: <p>I am building a linux kernel in a standard way:</p>
  
  <pre><code>make mrproper
  make defconfig
  make
  </code></pre>
  
  <p>At the end of the build, there is a file modules.builtin in the top build directory.</p>
  
  <p>When I boot to the kernel on my board, and inspect /lib/modules//modules.builtin, the modules do not match with the modules.builtin file in my build directory.</p>
  
  <p>Is this expected? Do I need to do</p>
  
  <pre><code>make modules
  </code></pre>
  
  <p>to get the two modules.builtin files to match?</p>