Actually it's funny you should say that as I've seen this before when the FDB table doesn't insert the MAC address of the device until you make it send some traffic, like ping, be interested to see if anyone comes up with an answer on that. Couple of things that would be interesting to try, the first would be to statically configure the phone with an IP, gateway, controller IP, vlan I'd etc and see if it starts working. The other would be to add a helper address / bootrelay command on the voice vlan pointing to your PBX that's acting as the DHCP server for your voice vlan. I know you shouldn't need it on the same vlan but could be worth a try. Not personally tried Mitel phones on the purple kit before, mainly the red.