Sort:  

Can you run this on any ARM processor?

FortiOS is specific to Fortinet hardware (most of their machines run on custom ASIC's but they do have some X86 gear for the lower end)

Do you know of anyone using it for x86?

Anyone running the VM version of FortiOS is running it on X86. Unless they are running some special kind of hyper-visor that runs on other gear.