ARM & ARM64: Fix documentation