Same with The Mysterious Benedict Society. I did find a site that would sell it to me on a disc, but once I received it, it became clear to me they didn’t actually have a license to do so and just sold me a bootleg. Oh well. I dunno why Disney just didn’t want my money in the first place.
I dunno, I think you may be underestimating ARM here. I’ve heard that the overhead from translating the machine code is a lot lower than you might think, because so much X86 code is optimized down to a RISC-like subset of the instruction set already. And if that overhead isn’t too daunting in the common cases, the more robust power management on the ARM side of the chip market might be able to make up the difference in a handheld environment for most users. Obviously it’s a huge amount of work to nail the software, and it would be on top of the work they were already doing on Linux, so I’m not saying it’ll definitely be in the next iteration, but I could definitely imagine it happening eventually.