the enterprise activation he is seeing is not for bes, is the gmail wireless sync enabled with BIS 3.0, if he selected to sync his address book when adding that account.
that will always happens with an os upgrade, to make sure is this go to options, advanced options, default services and you will now see some like
calendar (cical)
contacts list(sync)
messaging
you can also confirm this by going to your address book then select options, you will now see something that reads:
Contacts Lists
xxxxxx@gmail.com