Remove unused GET/PUT_INTEL_INT64