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>