I believe this ought to be okay now since we only produce ARM-encoded
objects. Added a Note describing the state of things.