It comes as demand for semiconductors continues to outstrip supplies, which has pushed up prices.

This story was reported by BBC News. Read the full coverage at BBC News.