x86, lib: Add wbinvd smp helpers