Implemented VDBPSADBW AVX512BW instruction

The only missing AVX512BW/AVX512DQ opcodes are now:

"NDS.512.66.0F3A.W0 56 VREDUCEPS
 NDS.512.66.0F3A.W1 56 VREDUCEPD"
"NDS.512.66.0F3A.W0 57 VREDUCESS
 NDS.512.66.0F3A.W1 57 VREDUCESD"


git-svn-id: svn://svn.code.sf.net/p/bochs/code/trunk@12461 6c8e4198-a580-4521-a02f-c9ae86df1db9