Vivo: Use source-built kernel for reco #2