KVM/x86: Replace smp_mb() with smp_store_mb/release() in the walk_shadow_page_lockles...