sim: Add debug output when executing pseudo-instructions
sim: FIXUP: Remove broken assertion when cleanin up a DrainManager

DrainManagers can now be deallocated because of an unexpected exit from
the drain loop. This means that the check that there are no objects
waiting to be drained won't work.

Merge with: 61662bda76bbc3d6a2695aae0836fd57662fbfe7
x86: Make the boot state VMX compliant

This patch allows the default x86 state to be used when by CPUs that
use hardware virtualization.