Wipe cache, wipe dalvik cache e riflashi la ROM
EDIT: Non avevo capito che stavi con android stock. Come ha detto dadanet puoi scaricarlo.
Altrimenti estrai boot.img dalla factory image, avvii il telefono in fastboot, lo colleghi al computer e scrivi nel terminale:''fastboot flash boot <percorso file di boot.img estratto precedentemente>"
Inviato dal mio Galaxy Nexus con Tapatalk 2