Brits with green residency cards advised to get TIE before EU Entry/Exit System is launched