Yes it is (6525131ae2f7601fecfdc2fca89053abc51054bf), without a REX.W prefix it does a plain mov to EAX.