Olive wasn’t Kate grandmother. Olive Middleton was her Paternal Great Grandmother. Mike’s mom who worked at Bletchley Park was named Valerie.
My mistake. I was killing a few minutes at work and didn't have all of the notes in front of my. Perhaps we may not see anything in the name that comes from her side of the family. I'd like to think we will but I won't hold my breath.