Rework arm64 isa definition.