More progress with X86::ADD32mi8 - not working yet, but it should be getting closer...