A clever set of manipulations allows us to fix binary modules with paravirt-ops by just not exporting paravirt_ops at all and using the new patching code. What do you think? Experimental patches here... only partially tested, but booting and appear to be a working prototype. Thanks, Zach