Add support for separate kernels for boot and recovery [1/2]

* Either as prebuilts, or with separate defconfigs

Change-Id: Iad877a5fbef095e3e5d792aebb240c230a829552
1 file changed