Include ARM64 in “select” calls. (#2825)

These files are architecture-independent, so this works on ARM-64 without
further changes.