[math-fun] normal bases for GF(2^32)