Use prebuilt kernel for recovery

Change-Id: I41ed72587f9890257183a043949c5c99fd221d4d