It's not too surprising that Google's definition of "patched" is "rolled out to a small percentage of users" since that's essentially how it's worked on Android for years.