If they were using banned chips they wouldn't declare them in public papers. There have been multiple documented/alleged cases of chips being routed through Singaporean shell companies.

For example: https://www.tomshardware.com/tech-industry/artificial-intell...