bitcode is still architecture dependent, bitcode generated for x86 won't run on ARM. The only reason they are requiring bitcode is so CPU specific optimizations can be done, not to allow for portability between uarchs.