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
1 file changed