Any Intel server comes with an ARM chip (at least one that I know of), the BMC.