[math-fun] Hacking binary finite fields on Intel processors