Add a flag to allow the kernel path to be specified

Test: Local build and boot
Change-Id: Ic87acf1692b6122b7c1d1360394297d6cebadd7d
Merged-In: Ic87acf1692b6122b7c1d1360394297d6cebadd7d
(cherry picked from commit b8f4e0611e34decba238fe144b950bb873c9d207)
1 file changed
tree: b897dfcbfdb5452d05625472abab1da1db5a5fe1
  1. common/
  2. guest/
  3. host/
  4. tests/
  5. tools/
  6. Android.bp
  7. Android.mk
  8. OWNERS