Petitboot does do x86 - we're using it on an AMD x86-64 network appliance.

https://opengear.com/products/om2200-operations-manager/