tree 215f52b7aa23258b3004fe65949f14f55b0beeaa
parent 485890547723774492209921cb59aef315d5b343
author Daniel Mentz <danielmentz@google.com> 1484967870 -0800
committer Daniel Mentz <danielmentz@google.com> 1485308990 -0800

Re-run make modules_install after installing binary kos

We need to re-run make modules_install after we installed the binary
kernel modules for depmod to discover them.

Change-Id: I462db06651c79975e891882901253394c1f1b58d