So what? IIRC we used to have (and maybe still have) a feature that patched out spinlocks in binary code when it detects it is run on monoprocessor systems. You "just" have to identify all the call sites, and patch the code there during the boot process.