ABI x86: Wrong comment