more instruction explanation on pospopcount, bug #672