Unfortnately it was not there. That's why I was asking..
Did you ever manually flash back to stock?
I ask this because I know that when I flash back to both 4.0.1 and 4.0.2 stock (using the .tgz stock images from Google), the recovery-from-boot.p file was not present, either. In this case, I didn't have to take any additional action to prevent Android from over-flashing the custom recovery with the stock one.
When I flashed back to 4.0.1 stock and accepted the 4.0.2 OTA, that installed the recovery-from-boot.p file and I had to do the rename thing.
So, maybe there's some other mechanism going on here...? Dunno, I'd have to do more testing (flash back to stock (again ) to see...
Upvote
0