Just to get this straight...
You prefer
manually editing the XML definition file and changing the values in
decimals, after making sure that no instance of
any VirtualBox related processes are in memory, with a
good chance of making a mistake and messing up the
CPU settings in the process, when chances are the the register values you want to change are
already given to you in hex?
... Instead of doing a dec2hex conversion?
Yes, by all means, it is absolutely possible!
PS. I'll give it to you that I never understood why they implemented it in decimal in the settings to begin with and not straight hexadecimals, but they must have had their reasons, it's simply that *I* don't get it...
PPS. It's doable in binary too, for those interested. I'll leave it as an exercise for the student...
