Use prebuilt kernel for recovery

Change-Id: I62a972692cfbb3c8b6d643526e8d1584830006a1