UK’s ARM designates 13 Semiconductor startups in South Korea.