Use prebuilt kernel for recovery

Change-Id: I021e08a953ae37e2b1b10b08802ee207150463cb