Use prebuilt kernel for recovery

Change-Id: Idec7cabc0a9696c80df3afb4fd0b3748b4252e88