I know IME runs on Minix but that is on a separate 32 bit x86 processor, AFAIK.

What does the ARM CPU do?