Zero-extend every W register the arm64 ESIL writes ##esil