1424ad8677
These can be converted to 2-byte VEX encoding when both source registers are the same, by using KXORW / KANDNW as replacement.