Is there any proof that such potential backdoors are practical and not theoretical? Have you considered non x86 hardware. If you were made of money for example Talos II or other more reasonable priced options?