tree e7965fd694cd26656a1ce73f7d174679ce2f96ee
parent 5cc6456425d98d8fce685dcb13d3ad8baffccccf
author Yifan Hong <elsk@google.com> 1602207181 -0700
committer Yifan Hong <elsk@google.com> 1603331633 -0700

Allow empty --kernel.

When building recovery image on device with dedicated recovery partition
with GKI, recovery image does not have a kernel.

Allow mkbootimg to run without a --kernel argument.

Bug: 156098440
Test: build dedicated recovery on device with GKI
Change-Id: I420cb7e3e761617ea0338d1f3c49940d39b21cd3