tree 857f135f9cfaa678e6b9b45175bba2f378f132d5
parent 6ad6d563c02423467fc2ad9afdbcc62ee3aecedf
author Yifan Hong <elsk@google.com> 1596663032 -0700
committer Yifan Hong <elsk@google.com> 1596667523 -0700

Add BOARD_KERNEL_BINARIES to board_config.mk

Test: pass
Change-Id: Ic670a1c60d6ab2beca593da5941f56d4f3b76c3c