Is it really the complete support for 32 bit ARM or only the HW accelerated KVM? Last one isn't usefull for x86 on arm, but only for arm-on-arm...