array_key: add comment about intel bug.