I set these ones for a customer a while ago, which seemed to catch all of them.
dhcp-option equals 37012103060f1c333a3b set role mobile Android
dhcp-option equals 37012103060f1a1c333a3b set role mobile Android
dhcp-option equals 3c6468637063642d352e352e36 set role mobile Android