libvmi.h - define all of the 32bit registers in the registers_t enum
just a note-to-self about work that's still needed. remove this commit during rebase: