Use Brillo kernel.mk by default

Use Brillo kernel.mk to generate boot.img.

Change-Id: I3eb074c79c08f122bbb1aee6b5a2fc8dd9ddd51b
Signed-off-by: Haoran Wang <Haoran.Wang@freescale.com>
3 files changed