tree 402d1ea53425dd7551f6e9de13a2c01e9c1fcd65
parent a3254465555993b5323dcb9c7d5d9e59fba356db
author Ethan Chen <intervigil@gmail.com> 1549754111 -0800
committer Ethan Chen <intervigil@gmail.com> 1552167679 -0800

kernel: Use build-image-kernel-modules instead of copying it

* Call the build system's build-image-kernel-modules function instead of
  redefining all of it inline ourselves.

Change-Id: Ifc4bd3c452393389a14174f4cc29a8f7ef064b93