South Korean semiconductors made in China may be capped