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
1 file changed