This hits on the core of why we still use what we do in military aerospace. COTS stuff just can’t hit the requirements nowadays.
Personally the newest X86 I’ve seen in this type of stuff was an 80286; everything newer has been POWER or SPARC of one flavor or another, typically running VXWORKS. I haven’t by any means seen everything though.