I have 2 question,
1 is ARM better price/mips than the cheapest i7?
2 is there an ARM CPU for sale today as powerful as the fastest i7
If the answer is not yes to both then OS4 needs to go x86 and be optimised for i7 multiple cores and hyperthreading IMO.
My $0.02 worth.