We don't plan to support host 32-bit ARM execution environments, so this
is essentially dead code.